Software Practice and Experience · 1993 · 124 citations · 40 references
ComputingComputer EngineeringHuman-computer InteractionInteraction DesignUser Experience DesignConstraint HandlingConstraint ProgrammingConstraint SatisfactionConstraint SolvingConstraint-based DesignInterface DesignConstraintsUser Toolkits
Abstract The efficient satisfaction of constraints is essential to the performance of constraint‐based user interfaces. In the past, most constraint‐based user interfaces have used one‐way rather than multi‐way constraints because of a widespread belief that one‐way constraints were more efficient. In this paper we argue that many user interface construction problems are handled more naturally and elegantly by multi‐way constraints than by one‐way constraints. We present pseudocode for an incremental multi‐way constraint satisfaction algorithm, DeltaBlue, and describe experience in using the algorithm in two user interface toolkits. Finally, we provide performance figures demonstrating that multi‐way constraint solvers can be entirely competitive in performance with one‐way constraint solvers.
40
Alain Colmerauer · Communications of the ACM · 1990 · 572 citations · Full text
The CLP( ℛ ) language and system
Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey et al. · ACM Transactions on Programming Languages and Systems · 1992 · 524 citations · Full text
The Constraint Logic Programming Language CHIP.
Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis et al. · Future Generation Computer Systems · 1988 · 498 citations