Report

### Representing and Solving Finite−Domain Constraint Problems Using Systems of Polynomials

Abstract:

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 of polynomials have been widely studied, and a number of general techniques have been developed, including algorithms that generate an equivalent system with certain desirable properties, called a...

### Access Document

Files:
• (pdf, 318.9KB)

### Authors

Publisher:
Oxford University Computing Laboratory
Publication date:
2007-10-01
URN:
uuid:fcc2b14a-daf2-486d-a81b-c3a71f2d4e63
Local pid:
cs:55