Chris Jefferson

Dr Chris Jefferson

Research Officer

Wolfson Building, Parks Road, Oxford OX1 3QD

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, Vol. 11, pages 115-137. 2006.

Received a Best Paper award.

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

Foundations, Logic and Structures

Constraints Group

Groebner Basis Techniques for Constraint Satisfaction Problems