- Roberto Bagnara, Abramo Bagnara, Fabio Biselli, Michele Chiari
, Roberta Gori:
Correct approximation of IEEE 754 floating-point arithmetic for program verification. Constraints An Int. J. 27(1-2): 29-69 (2022) - Louis-Pierre Campeau
, Michel Gamache:
Short- and medium-term optimization of underground mine planning using constraint programming. Constraints An Int. J. 27(4): 414-431 (2022) - Yannick Carissan
, Denis Hagebaum-Reignier
, Nicolas Prcovic
, Cyril Terrioux
, Adrien Varet
:
How constraint programming can help chemists to generate Benzenoid structures and assess the local Aromaticity of Benzenoids. Constraints An Int. J. 27(3): 192-248 (2022) - Ágnes Cseh, Guillaume Escamocher
, Begüm Genç, Luis Quesada:
A collection of Constraint Programming models for the three-dimensional stable matching problem with cyclic preferences. Constraints An Int. J. 27(3): 249-283 (2022) - Antonio Garrido
:
A constraint-based approach to learn temporal features on action models from multiple plans. Constraints An Int. J. 27(1-2): 134-160 (2022) - Georg Gottlob
, Cem Okulmus
, Reinhard Pichler
:
Fast and parallel decomposition of constraint satisfaction problems. Constraints An Int. J. 27(3): 284-326 (2022) - Avraham Itzhakov
, Michael Codish:
Complete symmetry breaking constraints for the class of uniquely Hamiltonian graphs. Constraints An Int. J. 27(1-2): 8-28 (2022) - Chaitanya K. Joshi
, Quentin Cappart, Louis-Martin Rousseau, Thomas Laurent:
Learning the travelling salesperson problem requires rethinking generalization. Constraints An Int. J. 27(1-2): 70-98 (2022) - Dimitri Justeau-Allaire
, Charles Prud'homme
:
Global domain views for expressive and cross-domain constraint programming. Constraints An Int. J. 27(1-2): 1-7 (2022) - Anthony Karahalios
, Willem-Jan van Hoeve
:
Variable ordering for decision diagrams: A portfolio approach. Constraints An Int. J. 27(1-2): 116-133 (2022) - Miyuki Koshimura
, Emi Watanabe, Yuko Sakurai, Makoto Yokoo
:
Concise integer linear programming formulation for clique partitioning problems. Constraints An Int. J. 27(1-2): 99-115 (2022) - Petr Kucera
, Petr Savický:
Propagation complete encodings of smooth DNNF theories. Constraints An Int. J. 27(3): 327-359 (2022) - Barnaby Martin, Justin Pearson
:
When bounds consistency implies domain consistency for regular counting constraints. Constraints An Int. J. 27(3): 161-167 (2022) - Guilherme de Azevedo Silveira
:
Generative magic and designing magic performances with constraint programming. Constraints An Int. J. 27(3): 168-191 (2022) - Boro Sofranac
, Ambros M. Gleixner, Sebastian Pokutta:
An algorithm-independent measure of progress for linear constraint propagation. Constraints An Int. J. 27(4): 432-455 (2022) - Mathieu Vavrille
, Charlotte Truchet
, Charles Prud'homme
:
Solution sampling with random table constraints. Constraints An Int. J. 27(4): 381-413 (2022) - 2021
- Jo Devriendt
, Ambros M. Gleixner
, Jakob Nordström
:
Learn to relax: Integrating 0-1 integer linear programming with pseudo-Boolean conflict-driven search. Constraints An Int. J. 26(1): 26-55 (2021) - Jana Koehler
, Josef Bürgler, Urs Fontana, Etienne Fux, Florian A. Herzog
, Marc Pouly
, Sophia Saller
, Anastasia Salyaeva, Peter Scheiblechner, Kai Waelti:
Cable tree wiring - benchmarking solvers on a real-world scheduling problem with a variety of precedence constraints. Constraints An Int. J. 26(1): 56-106 (2021) - Yuchen Pang
, Carleton Coffrin
, Andrey Y. Lokhov
, Marc Vuffray
:
The potential of quantum annealing for rapid solution structure identification. Constraints An Int. J. 26(1): 1-25 (2021) - Yuchen Pang
, Carleton Coffrin
, Andrey Y. Lokhov
, Marc Vuffray
:
Correction to: The potential of quantum annealing for rapid solution structure identification. Constraints An Int. J. 26(1): 107 (2021) - 2020
- Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis:
Invariants for time-series constraints. Constraints An Int. J. 25(3-4): 71-120 (2020) - Gilles Audemard, Frédéric Boussemart, Christophe Lecoutre
, Cédric Piette, Olivier Roussel:
XCSP3 and its ecosystem. Constraints An Int. J. 25(1-2): 47-69 (2020) - Ondrej Benedikt
, István Módos
, Zdenek Hanzálek
:
Power of pre-processing: production scheduling with variable energy pricing and power-saving states. Constraints An Int. J. 25(3-4): 300-318 (2020) - Jaime E. González
, André Augusto Ciré, Andrea Lodi, Louis-Martin Rousseau:
Integrated integer programming and decision diagram search tree with an application to the maximum independent set problem. Constraints An Int. J. 25(1-2): 23-46 (2020) - Hiroyuki Goto
, Alan T. Murray
:
Exact and flexible solution approach to a critical chain project management problem. Constraints An Int. J. 25(3-4): 280-297 (2020) - Mohd. Hafiz Hasan
, Pascal Van Hentenryck:
The flexible and real-time commute trip sharing problems. Constraints An Int. J. 25(3-4): 160-179 (2020) - Emmanuel Hebrard
, Nysret Musliu
:
Introduction to the CPAIOR 2020 fast track issue. Constraints An Int. J. 25(3-4): 298-299 (2020) - Mohamed Amine Omrani
, Wady Naanaa:
Constraints for generating graphs with imposed and forbidden patterns: an application to molecular graphs. Constraints An Int. J. 25(1-2): 1-22 (2020) - Rodrigue Konan Tchinda
, Clémentin Tayou Djamégni:
On certifying the UNSAT result of dynamic symmetry-handling-based SAT solvers. Constraints An Int. J. 25(3-4): 251-279 (2020) - Dimosthenis C. Tsouros
, Kostas Stergiou:
Efficient multiple constraint acquisition. Constraints An Int. J. 25(3-4): 180-225 (2020)