Skip to content
Log in
Sponsored AI AM CLAUDE, A Beginner's Guide: Learn the basics of working with AI AI AM CLAUDE, A Beginner's Guide: Learn the basics of working with AI

Author

Thomas Sergeys

h-index 1 View on Semantic Scholar

We have 2 of 3 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

2026

Unified Programmatic Access to CO Benchmarks, to Connect Constraint Solving Communities (Tool Paper)

This work proposes a programmatic abstraction for CO benchmark sets that facilitates cross-community access to benchmarks and systematic comparisons of solvers across paradigms, and implements file writers to multiple solver-oriented formats.

Thomas Sergeys, Ignace Bleukx, Tias Guns · 1 citation
Preprint Aug 2026

Translating finite-domain integer constraint models to CP/SMT/ILP/PB/SAT solvers with CPMpy

The goal is to translate high-level constraint satisfaction and optimization problems into any lower-level formalism, including CP, SMT QF-LIA, ILP, PB and (Max)SAT, and to present a modular framework for transforming the high-level modeling language to CP/SMT/ILP/PB and (Max)SAT solvers.

Tias Guns, Ignace Bleukx, H. Bierlee et al. · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.