:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Kasslin, Antton, Berg, Jeremias
Format:	Recurso digital
Language:
Published:	Zenodo 2025
Online Access:	https://doi.org/10.5281/zenodo.15741417
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)

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

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)

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

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)

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

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

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

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

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

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)

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

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

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

Gaussian Cumulative Prospect Theory
by: Motte, Mederic
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)

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)

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)

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

Auerbach bases, projection constants, and the joint spectral radius of principal submatrices
by: Epperlein, Jeremias, et al.
Published: (2025)

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)

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

Discrete Radar based on Modulo Arithmetic
by: Mehrotra, Nishant, et al.
Published: (2025)

Direct Preference Optimization for Adaptive Concept-based Explanations
by: Teneggi, Jacopo, et al.
Published: (2025)

Kuroda's Translation for the $λΠ$-Calculus Modulo Theory and Dedukti
by: Traversié, Thomas
Published: (2024)

Lower Bounds for the Shadiness Constant of Finite-Dimensional Normed Spaces
by: Epperlein, Jeremias
Published: (2025)

Contrastive Learning for Correlating Network Incidents
by: Dötterl, Jeremias
Published: (2025)