Maintaining State in Propagation Solvers
(pdf)
Raphael M. Reischuk, Christian Schulte, Peter J. Stuckey, Guido Tack
Proceedings of the 15th international conference on principles and practice of constraint programming
MiniZinc: Towards a Standard CP Modelling Language
(pdf)
Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido Tack
13th International Conference on Principles and Practice of Constraint Programming
When Do Bounds and Domain Propagation Lead to the Same Search Space
(pdf)
Christian Schulte, Peter J. Stuckey
Third International Conference on Principles and Practice of Declarative Programming