Journal: Constraints

Volume 27, Issue 4

381 -- 413Mathieu Vavrille, Charlotte Truchet, Charles Prud'homme. Solution sampling with random table constraints
414 -- 431Louis-Pierre Campeau, Michel Gamache. Short- and medium-term optimization of underground mine planning using constraint programming
432 -- 455Boro Sofranac, Ambros M. Gleixner, Sebastian Pokutta. An algorithm-independent measure of progress for linear constraint propagation

Volume 27, Issue 3

161 -- 167Barnaby Martin, Justin Pearson. When bounds consistency implies domain consistency for regular counting constraints
168 -- 191Guilherme de Azevedo Silveira. Generative magic and designing magic performances with constraint programming
192 -- 248Yannick 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
249 -- 283Ágnes Cseh, Guillaume Escamocher, Begüm Genç, Luis Quesada 0001. A collection of Constraint Programming models for the three-dimensional stable matching problem with cyclic preferences
284 -- 326Georg Gottlob, Cem Okulmus, Reinhard Pichler. Fast and parallel decomposition of constraint satisfaction problems
327 -- 359Petr Kucera, Petr Savický. Propagation complete encodings of smooth DNNF theories
360 -- 379João Araújo 0002, Choiwah Chow, Mikolás Janota. Boosting isomorphic model filtering with invariants

Volume 27, Issue 1

1 -- 7Dimitri Justeau-Allaire, Charles Prud'homme. Global domain views for expressive and cross-domain constraint programming
8 -- 28Avraham Itzhakov, Michael Codish. Complete symmetry breaking constraints for the class of uniquely Hamiltonian graphs
29 -- 69Roberto Bagnara, Abramo Bagnara, Fabio Biselli, Michele Chiari, Roberta Gori. Correct approximation of IEEE 754 floating-point arithmetic for program verification
70 -- 98Chaitanya K. Joshi, Quentin Cappart, Louis-Martin Rousseau, Thomas Laurent 0001. Learning the travelling salesperson problem requires rethinking generalization
99 -- 115Miyuki Koshimura, Emi Watanabe, Yuko Sakurai, Makoto Yokoo. Concise integer linear programming formulation for clique partitioning problems
116 -- 133Anthony Karahalios, Willem Jan van Hoeve. Variable ordering for decision diagrams: A portfolio approach
134 -- 160Antonio Garrido 0002. A constraint-based approach to learn temporal features on action models from multiple plans