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

Full description

Bibliographic Details
Main Authors: Jefferson, C, Jeavons, P, Green, M, van Dongen, M
Format: Journal article
Language:English
Published: 2013