- Felix Ulrich-Oltean
, Peter Nightingale, James Alfred Walker:
Learning to select SAT encodings for pseudo-Boolean and linear integer constraints. Constraints An Int. J. 28(3): 397-426 (2023) - Mathieu Vavrille:
A feature commonality-based search strategy to find high t-wise covering solutions in feature models. Constraints An Int. J. 28(4): 521-548 (2023) - Mathieu Vavrille, Charlotte Truchet, Charles Prud'homme:
Correction to: Solution sampling with random table constraints. Constraints An Int. J. 28(3): 519 (2023) - Hélène Verhaeghe:
The extensional constraint. Constraints An Int. J. 28(3): 518 (2023) - Johan Wessén, Mats Carlsson, Christian Schulte, Pierre Flener, Federico Pecora, Mihhail Matskin:
A constraint programming model for the scheduling and workspace layout design of a dual-arm multi-tool assembly robot. Constraints An Int. J. 28(2): 71-104 (2023) - Matteo Zavatteri, Alice Raffaele, Dario Ostuni, Romeo Rizzi:
An interdisciplinary experimental evaluation on the disjunctive temporal problem. Constraints An Int. J. 28(1): 1-12 (2023) - 2022
- João Araújo, Choiwah Chow, Mikolás Janota:
Boosting isomorphic model filtering with invariants. Constraints An Int. J. 27(3): 360-379 (2022) - 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)
