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. The advantage of using polynomials to represent constraints is that it allows many different forms of constraints to be treated in a uniform way. Systems...
| Päätekijät: | , , , |
|---|---|
| Aineistotyyppi: | Report |
| Julkaistu: |
Oxford University Computing Laboratory
2007
|
Samankaltaisia teoksia
Symmetry definitions for constraint satisfaction problems
Tekijä: Cohen, D, et al.
Julkaistu: (2006)
Tekijä: Cohen, D, et al.
Julkaistu: (2006)