Representing and solving finite-domain constraint problems using systems of polynomials
In this paper we investigate the use of a system of multivariate polynomials to represent the restrictions imposed by a collection of constraints. One advantage of using polynomials to represent constraints is that it allows many different forms of constraints to be treated in a uniform way. Systems...
Main Authors: | , , , |
---|---|
Format: | Journal article |
Language: | English |
Published: |
2013
|