Abstract
We describe an object-oriented constraint solving toolkit, QOCA, designed for interactive graphical applications. It has a simple yet powerful interface based on the metric space model for constraint manipulation. Currently QOCA supports linear arithmetic constraints and two different metrics: the square of the Euclidean distance and the Manhattan distance. It provides three solvers, all of which rely on keeping the constraints in solved form and relies on novel algorithms for efficient resolving of constraints during direct manipulation. We provide a thorough empirical evaluation of QOCA, both of the interface design and the speed of constraint solving.
Original language | English |
---|---|
Title of host publication | Principles and Practice of Constraint Programming – CP98 |
Subtitle of host publication | 4th International Conference, CP98 Pisa, Italy, October 26-30, 1998 Proceedings |
Editors | Michael Maher, Jean-Francois Puget |
Place of Publication | Berlin Germany |
Publisher | Springer |
Pages | 340-354 |
Number of pages | 15 |
ISBN (Print) | 3540652248 |
DOIs | |
Publication status | Published - 1998 |
Event | International Conference on Principles and Practice of Constraint Programming 1998 - Pisa, Italy Duration: 26 Oct 1998 → 30 Oct 1998 Conference number: 4th https://link.springer.com/book/10.1007%2F3-540-49481-2 (Conference Proceedings) |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 1520 |
ISSN (Print) | 0302-9743 |
Conference
Conference | International Conference on Principles and Practice of Constraint Programming 1998 |
---|---|
Abbreviated title | CP 1998 |
Country/Territory | Italy |
City | Pisa |
Period | 26/10/98 → 30/10/98 |
Internet address |
|