Journal: Constraints

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