QUAD-CLP(R): Adding the Power of Quadratic Constraints (1994)
| Venue: | In Proc. CP94 (Principles and Practice of Constraint Programming’94, LNCS 874 |
| Citations: | 11 - 0 self |
BibTeX
@INPROCEEDINGS{Pesant94quad-clp(r):adding,
author = {Gilles Pesant and Michel Boyer},
title = {QUAD-CLP(R): Adding the Power of Quadratic Constraints},
booktitle = {In Proc. CP94 (Principles and Practice of Constraint Programming’94, LNCS 874},
year = {1994},
pages = {95--107},
publisher = {Springer-Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
. We report on a new way of handling non-linear arithmetic constraints and its implementation into the QUAD-CLP(R) language. Important properties of the problem at hand are a discretization through geometric equivalence classes and decomposition into convex pieces. A case analysis of those equivalence classes leads to a relaxation (and sometimes recasting) of the original constraints into linear constraints, much easier to handle. Complementing earlier expositions in [18] and [19], the present focus is on applications upholding its worth. 1. Motivation. This paper presents the constraint programming language QUAD-CLP(R) which offers a powerful novel solving strategy for non-linear arithmetic constraints under the computing paradigm of logic programming. Emphasis will be given here to the techniques involved in the constraint solver for quadratic constraints over R and to applications making use of this added power. Despite the enormous potential of non-linear arithmetic constraints in...
