Chris Jefferson

Representing and Solving Finite-Domain Constraint Problems Using Systems of Polynomials

Chris Jefferson et al.

No. RR-07-08, Technical Report, Oxford University Computing Laboratory. October 2007.

Details | BibTeX | Download (pdf)

Symmetry definitions for constraint satisfaction problems

David Cohen et al.

Constraints, pages 115-137. 2006.

Received a Best Paper award. Shorter version appears in: Proceedings of CP'05, Lecture Notes in Computer Science 3709 : http://web.comlab.ox.ac.uk/oucl/research/areas/constraints/publications/CP05symmetry.pdf

Details | BibTeX | Link (pdf) | DOI (10.1007/s10601-006-8059-8)