Concepedia

Interactive Constraint Solving

Interactive Constraint Solving is a constraint-solving paradigm within constraint programming that enables real-time, user-guided exploration and modification of constraint satisfaction problems through incremental solving and dynamic feedback.

30

Publications

1.8K

Citations

69

Authors

33

Institutions

Publications per year

2017–2026

0

Parents

Publications

30

QUICKXPLAIN: preferred explanations and relaxations for over-constrained problems

Ulrich Junker · 2004 · 380 citations

, , +15

Geometric constraint solver

William J. Bouma, Ioannis Fudos, Christoph M. Hoffmann et al. · Computer-Aided Design · 1995 · 276 citations · Full text

, , +16

Constraint satisfaction and debugging for interactive user interfaces

Michael Sannella · 1994 · 228 citations

, , +16

The Cassowary linear arithmetic constraint solving algorithm

Greg J. Badros, Alan Borning, Peter J. Stuckey · ACM Transactions on Computer-Human Interaction · 2001 · 178 citations

, , +11

Defining constraints graphically

Alan Borning · ACM SIGCHI Bulletin · 1986 · 100 citations

, , +14

1–5 of 30

Authors

69

  1. AB
    Alan Borning

    University of Washington, United States

    4 publications · 363 citations

    4

    h-index

  2. BB
    Beat Brüderlin

    University of Utah, United States

    2 publications · 31 citations

    2

    h-index

  3. GJ
    Greg J. Badros

    University of Washington, United States

    2 publications · 211 citations

    2

    h-index

  4. WS
    Wolfgang Sohrt

    University of Utah, United States

    2 publications · 31 citations

    2

    h-index

  5. WJ
    William J. Bouma

    Purdue University West Lafayette, United States

    1 publications · 276 citations

    1

    h-index

1–5 of 69

Institutions

33

  1. University of Washington

    Seattle, United States

    5 h-index

    7 publications

    802 citations

  2. University of Utah

    Salt Lake City, United States

    2 h-index

    4 publications

    62 citations

  3. City University of Hong Kong

    Hong Kong, Hong Kong

    2 h-index

    2 publications

    44 citations

  4. GREYC

    Caen, France

    1 h-index

    1 publications

    16 citations

  5. North Carolina State University

    Raleigh, United States

    1 h-index

    3 publications

    126 citations

  6. Daimler (Germany)

    Stuttgart, Germany

    1 h-index

    2 publications

    38 citations

  7. Université Paris 1 Panthéon-Sorbonne

    Paris, France

    1 h-index

    1 publications

    12 citations

  8. University of Padua

    Padua, Italy

    1 h-index

    2 publications

    84 citations

1–8 of 33

Venues

  1. Constraints

    2 publications · 53 citations

    2

    h-index

  2. 1

    h-index

  3. ACM SIGCHI Bulletin

    1 publications · 100 citations

    1

    h-index

  4. Computers & Industrial Engineering

    1 publications · 13 citations

    1

    h-index

  5. Computers in Industry

    1 publications · 42 citations

    1

    h-index

1–5