A tableau based constraint solving toolkit for interactive graphical applications

Kim Marriott; Sitt Sen Chok; Alan Finlay

doi:10.1007/3-540-49481-2_25

A tableau based constraint solving toolkit for interactive graphical applications

Kim Marriott, Sitt Sen Chok, Alan Finlay

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

26 Citations (Scopus)

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	https://doi.org/10.1007/3-540-49481-2_25
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	https://link.springer.com/book/10.1007%2F3-540-49481-2 (Conference Proceedings)

Access to Document

10.1007/3-540-49481-2_25

Cite this

Marriott, K., Chok, S. S., & Finlay, A. (1998). A tableau based constraint solving toolkit for interactive graphical applications. In M. Maher, & J.-F. Puget (Eds.), Principles and Practice of Constraint Programming – CP98: 4th International Conference, CP98 Pisa, Italy, October 26-30, 1998 Proceedings (pp. 340-354). (Lecture Notes in Computer Science; Vol. 1520). Springer. https://doi.org/10.1007/3-540-49481-2_25

Marriott, Kim ; Chok, Sitt Sen ; Finlay, Alan. / A tableau based constraint solving toolkit for interactive graphical applications. Principles and Practice of Constraint Programming – CP98: 4th International Conference, CP98 Pisa, Italy, October 26-30, 1998 Proceedings. editor / Michael Maher ; Jean-Francois Puget. Berlin Germany : Springer, 1998. pp. 340-354 (Lecture Notes in Computer Science).

@inproceedings{ee9261c1c1924173b639d3412c16c206,

title = "A tableau based constraint solving toolkit for interactive graphical applications",

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

author = "Kim Marriott and Chok, {Sitt Sen} and Alan Finlay",

year = "1998",

doi = "10.1007/3-540-49481-2_25",

language = "English",

isbn = "3540652248",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "340--354",

editor = "Michael Maher and Jean-Francois Puget",

booktitle = "Principles and Practice of Constraint Programming – CP98",

note = "International Conference on Principles and Practice of Constraint Programming 1998, CP 1998 ; Conference date: 26-10-1998 Through 30-10-1998",

url = "https://link.springer.com/book/10.1007%2F3-540-49481-2",

}

Marriott, K, Chok, SS & Finlay, A 1998, A tableau based constraint solving toolkit for interactive graphical applications. in M Maher & J-F Puget (eds), Principles and Practice of Constraint Programming – CP98: 4th International Conference, CP98 Pisa, Italy, October 26-30, 1998 Proceedings. Lecture Notes in Computer Science, vol. 1520, Springer, Berlin Germany, pp. 340-354, International Conference on Principles and Practice of Constraint Programming 1998, Pisa, Italy, 26/10/98. https://doi.org/10.1007/3-540-49481-2_25

A tableau based constraint solving toolkit for interactive graphical applications. / Marriott, Kim; Chok, Sitt Sen; Finlay, Alan.
Principles and Practice of Constraint Programming – CP98: 4th International Conference, CP98 Pisa, Italy, October 26-30, 1998 Proceedings. ed. / Michael Maher; Jean-Francois Puget. Berlin Germany: Springer, 1998. p. 340-354 (Lecture Notes in Computer Science; Vol. 1520).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

TY - GEN

T1 - A tableau based constraint solving toolkit for interactive graphical applications

AU - Marriott, Kim

AU - Chok, Sitt Sen

AU - Finlay, Alan

N1 - Conference code: 4th

PY - 1998

Y1 - 1998

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

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

U2 - 10.1007/3-540-49481-2_25

DO - 10.1007/3-540-49481-2_25

M3 - Conference Paper

SN - 3540652248

T3 - Lecture Notes in Computer Science

SP - 340

EP - 354

BT - Principles and Practice of Constraint Programming – CP98

A2 - Maher, Michael

A2 - Puget, Jean-Francois

PB - Springer

CY - Berlin Germany

T2 - International Conference on Principles and Practice of Constraint Programming 1998

Y2 - 26 October 1998 through 30 October 1998

ER -

Marriott K, Chok SS, Finlay A. A tableau based constraint solving toolkit for interactive graphical applications. In Maher M, Puget JF, editors, Principles and Practice of Constraint Programming – CP98: 4th International Conference, CP98 Pisa, Italy, October 26-30, 1998 Proceedings. Berlin Germany: Springer. 1998. p. 340-354. (Lecture Notes in Computer Science). doi: 10.1007/3-540-49481-2_25