OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Constraint technology for user-interface construction in ThingLab II
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
An incremental constraint solver
Communications of the ACM
Partial constraint satisfaction
Artificial Intelligence - Special volume on constraint-based reasoning
Lisp and Symbolic Computation
Skyblue: a multi-way local propagation constraint solver for user interface construction
UIST '94 Proceedings of the 7th annual ACM symposium on User interface software and technology
Hierarchical constraint logic programming
Hierarchical constraint logic programming
Indigo: a local propagation algorithm for inequality constraints
Proceedings of the 9th annual ACM symposium on User interface software and technology
Solving linear arithmetic constraints for user interface applications
Proceedings of the 10th annual ACM symposium on User interface software and technology
A modular geometric constraint solver for user interface applications
Proceedings of the 14th annual ACM symposium on User interface software and technology
Locally Simultaneous Constraint Satisfaction
PPCP '94 Proceedings of the Second International Workshop on Principles and Practice of Constraint Programming
Transforming Ordered Constraint Hierarchies into Ordinary Constraint Systems
Over-Constrained Systems
A Composistional Theory of Constraint Hierarchies
Over-Constrained Systems
A hierarchical constraint satisfaction approach to product selection for electronic shopping support
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
HCLP Based Service Composition
WI-IATW '06 Proceedings of the 2006 IEEE/WIC/ACM international conference on Web Intelligence and Intelligent Agent Technology
Automated reverse engineering of hard-coded GUI layouts
AUIC '08 Proceedings of the ninth conference on Australasian user interface - Volume 76
Hi-index | 0.00 |
Constraint hierarchies provide a framework for soft constraints, and have been applied to areas such as artificial intelligence, logic programming, and user interfaces. In this framework, constraints are associated with hierarchical preferences or priorities called strengths, and may be relaxed if they conflict with stronger constraints. To utilize constraint hierarchies, researchers have designed and implemented various practical constraint satisfaction algorithms. Although existing algorithms can be categorized into several approaches, what kinds of algorithms are possible has been unclear from a more general viewpoint. In this paper, we propose a novel theory called generalized local propagation as a foundation of algorithms for solving constraint hierarchies. This theory formalizes a way to express algorithms as constraint scheduling, and presents theorems that support possible approaches. A benefit of this theory is that it covers algorithms using constraint hierarchy solution criteria known as global comparators, for which only a small number of algorithms have been implemented. With this theory, we provide a new classification of solution criteria based on their difficulties in constraint satisfaction. We also discuss how existing algorithms are related to our theory, which will be helpful in designing new algorithms.