Global domain views for expressive and cross-domain constraint programming Dimitri Justeau-AllaireCharles Prud’homme Letter 11 January 2022 Pages: 1 - 7
Complete symmetry breaking constraints for the class of uniquely Hamiltonian graphs Avraham ItzhakovMichael Codish OriginalPaper 25 January 2022 Pages: 8 - 28
Correct approximation of IEEE 754 floating-point arithmetic for program verification Roberto BagnaraAbramo BagnaraRoberta Gori OriginalPaper Open access 22 February 2022 Pages: 29 - 69
Learning the travelling salesperson problem requires rethinking generalization Chaitanya K. JoshiQuentin CappartThomas Laurent OriginalPaper Open access 28 April 2022 Pages: 70 - 98
Concise integer linear programming formulation for clique partitioning problems Miyuki KoshimuraEmi WatanabeMakoto Yokoo OriginalPaper Open access 23 April 2022 Pages: 99 - 115
Variable ordering for decision diagrams: A portfolio approach Anthony KarahaliosWillem-Jan van Hoeve OriginalPaper 04 January 2022 Pages: 116 - 133
A constraint-based approach to learn temporal features on action models from multiple plans Antonio Garrido OriginalPaper 12 May 2022 Pages: 134 - 160
