Cover Image

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!

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)

Anonymized repository for submission 248 - IEEE ICWS 2025
by: Anonymous Authors
Published: (2025)

Anonymized repository for submission 248 - IEEE ICWS 2025
by: Anonymous Authors
Published: (2025)

Distributed Learning for Wi-Fi AP Load Prediction
by: Salami, Dariush, et al.
Published: (2024)

Continuous Optimization for Satisfiability Modulo Theories on Linear Real Arithmetic
by: Cen, Yunuo, et al.
Published: (2026)

Portfolio Optimization with Cumulative Prospect Theory Utility via Convex Optimization
by: Luxenberg, Eric, et al.
Published: (2022)

CESNET repositories
by: Šimek, Mirek
Published: (2025)

Thesis repository
by: Traks, Magnus
Published: (2026)

SAT-MapIt: A SAT-based Modulo Scheduling Mapper for Coarse Grain Reconfigurable Architectures
by: Tirelli, Cristian, et al.
Published: (2025)

Gaussian Cumulative Prospect Theory
by: Motte, Mederic
Published: (2025)

A Unified Automata-Theoretic Approach to LTLf Modulo Theories (Extended Version)
by: Faella, Marco, et al.
Published: (2024)

Canonical Decision Diagrams Modulo Theories
by: Michelutti, Massimo, et al.
Published: (2024)

Shield Synthesis for LTL Modulo Theories
by: Rodriguez, Andoni, et al.
Published: (2024)

Learning Quantitative Automata Modulo Theories
by: Hsiung, Eric, et al.
Published: (2024)

Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach
by: Ihalainen, Hannes, et al.
Published: (2025)

E-repository for Africa
by: Goovaerts, Marc
Published: (2005)

Enhancing repository-level software repair via repository-aware knowledge graphs
by: Yang, Boyang, et al.
Published: (2025)

Certifying Pareto-Optimality in Multi-Objective Maximum Satisfiability
by: Jabs, Christoph, et al.
Published: (2025)

Neurosymbolic Language Reasoning as Satisfiability Modulo Theory
by: Oh, Hyunseok, et al.
Published: (2026)

Satisfiability Modulo Theories for Verifying MILP Certificates
by: Wood, Kenan, et al.
Published: (2023)

Satisfiability.jl: Satisfiability Modulo Theories in Julia
by: Soroka, Emiko, et al.
Published: (2023)

Convexity and Optimization in Deficit Round Robin Scheduling for Delay-Constrained Systems
by: Mukherjee, Aniket, et al.
Published: (2025)

Solving Parallel Machine Scheduling With Precedences and Cumulative Resource Constraints With Calendars
by: Einspieler, Christoph, et al.
Published: (2025)

Quantitative Synthesis of Microbe‐Driven Acclimation and Adaptation in Wild Vertebrates
by: Garazi Martin Bideguren, et al.
Published: (2024)

Data repository for "Symmetry Fragmentation"
by: Iadecola, Thomas
Published: (2026)

Enhanced Task Scheduling With Metaheuristics for Delay and Energy Optimization in Cloud‐Fog Computing
by: Pinky, et al.
Published: (2025)

Heterogeneous Dynamic Logic: Provability Modulo Program Theories
by: Teuber, Samuel, et al.
Published: (2025)

Satisfiability Modulo Theory Meets Inductive Logic Programming
by: Upreti, Nijesh, et al.
Published: (2025)

DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories
by: Feng, Nick, et al.
Published: (2024)

Proofs for Free in the $λΠ$-Calculus Modulo Theory
by: Traversié, Thomas
Published: (2024)

Closed Theories, Falsificationism and Non-Cumulative Progress
by: Svitlana Firsova
Published: (2020)

Cumulative Learning Rate Adaptation: Revisiting Path-Based Schedules for SGD and Adam
by: Atamna, Asma, et al.
Published: (2025)

Treatment of Challenging Behavior Maintained by Caregiver Accommodation Using Cumulative Schedules of Reinforcement
by: Matthew L. Edelstein, et al.
Published: (2025)

Optimization Modulo Integer Linear-Exponential Programs
by: Hitarth, S, et al.
Published: (2025)

Data repository for "On the Origin of Amphiphilic Interfaces"
by: Pezzotti, Simone, et al.
Published: (2025)

Advanced discovery mechanisms in model repositories
by: Arsene Indamutsa, et al.
Published: (2024)