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