- 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)