A tableau based constraint solving toolkit for interactive graphical applications

Kim Marriott, Sitt Sen Chok, Alan Finlay

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    25 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 languageEnglish
    Title of host publicationPrinciples and Practice of Constraint Programming – CP98
    Subtitle of host publication4th International Conference, CP98 Pisa, Italy, October 26-30, 1998 Proceedings
    EditorsMichael Maher, Jean-Francois Puget
    Place of PublicationBerlin Germany
    PublisherSpringer
    Pages340-354
    Number of pages15
    ISBN (Print)3540652248
    DOIs
    Publication statusPublished - 1998
    EventInternational Conference on Principles and Practice of Constraint Programming 1998 - Pisa, Italy
    Duration: 26 Oct 199830 Oct 1998
    Conference number: 4th
    https://link.springer.com/book/10.1007%2F3-540-49481-2 (Conference Proceedings)

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer
    Volume1520
    ISSN (Print)0302-9743

    Conference

    ConferenceInternational Conference on Principles and Practice of Constraint Programming 1998
    Abbreviated titleCP 1998
    CountryItaly
    CityPisa
    Period26/10/9830/10/98
    Internet address

    Cite this