Representing and solving finite−domain constraint problems using systems of polynomials
Christopher Jefferson‚ Peter Jeavons‚ Martin J. Green and Marc R. C. van Dongen
Journal
Annals of Mathematics and Artificial Intelligence
Number
3−4
Pages
359−382
Volume
67
Year
2013