Report icon

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...

Expand abstract

Actions


Access Document


Files:

Authors


Chris Jefferson More by this author
Peter Jeavons More by this author
Martin J. Green More by this author
M.R.C. van Dongen More by this author
Publisher:
Oxford University Computing Laboratory
Publication date:
2007-10-01
URN:
uuid:fcc2b14a-daf2-486d-a81b-c3a71f2d4e63
Local pid:
cs:55

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP