Skip to content
Descubridor Institucional UMAR
Inicio
Búsqueda avanzada
Explorar
Inicio
Búsqueda avanzada
Explorar
Login
Language
English
Deutsch
Español
Français
Italiano
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Benchmark repository for "An Optimization Modulo Theories-based Approach to Cumulative Scheduling with Delays" 2025
Benchmark repository for "An Optimization Modulo Theories-based Approach to Cumulative Scheduling with Delays" 2025
Fuente:
Zenodo
Saved in:
Bibliographic Details
Main Authors:
Kasslin, Antton
,
Berg, Jeremias
Format:
Recurso digital
Published:
Zenodo
2025
Online Access:
Acceder al recurso
Tags:
Add Tag
No Tags, Be the first to tag this record!
Cite this
Text this
Email this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Save to List
Permanent link
Holdings
Description
Comments
Similar Items
Staff View
Internet
https://doi.org/10.5281/zenodo.15741417
Similar Items
Earth Hologenome Initiative (EHI) Data Release 1: sequence files of metagenome assembled genomes (MAGs)
by: Alberdi, Antton
Published: (2025)
Generalized Optimization Modulo Theories
by: Tsiskaridze, Nestan, et al.
Published: (2024)
Deslocalizaciones y empleo cooperativo. El caso de Fagor Electrodomésticos, S. Coop
by: Antton Mendizabal Etxabe
Published: (2005)
SAT-based Exact Modulo Scheduling Mapping for Resource-Constrained CGRAs
by: Tirelli, Cristian, et al.
Published: (2024)
Exploiting Partial-Assignment Enumeration in Optimization Modulo Theories
by: Masina, Gabriele, et al.
Published: (2025)