Chris Jefferson: Publications

[1]	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)

[2]

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