Skip to content
Log in

Author

Ignace Bleukx

View on Semantic Scholar

2 papers indexed here

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.

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
Open access Aug 2026

Efficient Reformulations of Half-reified Global Constraints using Auxiliary Variables

A set of reformulation rules are proposed that allow the use of half-reification of a global constraint with any CP solver that supports the “normal” global constraint propagator, and expand the range of available solvers and constraint models that can be used in XCP techniques or for solving CSPs with compound constraints.

Ignace Bleukx, Hélène Verhaeghe, Dimos Tsouros et al. · 1 citation