@techreport{RR-07-07,
  title = "Representing and Solving Finite-Domain Constraint Problems Using Systems of Polynomials",
  author = "Chris Jefferson and Peter Jeavons and Martin J. Green and M.R.C. van Dongen",
  year = "2007",
  institution = "Oxford University Computing Laboratory",
  month = "October",
  number = "RR-07-07",
}