Groebner Basis Techniques for Constraint Satisfaction Problems: Publications
Click here to download all publications in a single bibtex file
@inproceedings{cp2015:groebnerabstract, title = "Representing and Solving Finite-Domain Constraint Problems using Systems of Polynomials (Extended Abstract)", author = "Chris Jefferson and Peter Jeavons and Martin J. Green and M.R.C. van Dongen", year = "2015", booktitle = "Principles and Practice of Constraint Programming - Proceedings of CP2015", url = "http://www.cs.ox.ac.uk/peter.jeavons/CP2015:groebnerabstract.pdf", }