A foundation of solution methods for constraint hierarchies

Constraints

Volumn 8, Issue 1, 2003, Pages 41-59

  Hosobe, Hiroshi ^a   Matsuoka, Satoshi ^b  

^a NATIONAL INSTITUTE OF INFORMATICS   (Japan)

^b TOKYO INSTITUTE OF TECHNOLOGY   (Japan)

Author keywords

Constraint hierarchies; Constraint satisfaction; Local propagation; Soft constraints

Indexed keywords

ALGORITHMS; ARTIFICIAL INTELLIGENCE; OPTIMIZATION; PROBLEM SOLVING;

SOFT CONSTRAINTS;

CONSTRAINT THEORY;

EID: 0037286943     PISSN: 13837133     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1021946627805     Document Type: Article

References (26)

1. Badros, G. J., & Borning, A. (1998). The Cassowary linear arithmetic constraint solving algorithm: interface and implementation. Technical Report 98-06-04, Dept. of Computer Science and Engineering, University of Washington.
2. Bistarelli, S., Gennari, R., & Rossi, F. (2000). Constraint propagation for soft constraints: Generalization and termination conditions. In Principles and Practice of Constraint Programming - CP2000, Vol. 1894 of LNCS, pages 83-97, Springer.
3. Borning, A., Anderson, R., & Freeman-Benson, B. (1996). Indigo: A local propagation algorithm for inequality constraints. In Proc. ACM UIST, pages 129-136.
4. Borning, A., Duisberg, R., Freeman-Benson, B., Kramer, A., & Woolf, M. (1987). Constraint hierarchies. In Proc. ACM OOPSLA, pages 48-60.
5. Borning, A., & Freeman-Benson, B. (1998). Ultraviolet: A constraint satisfaction algorithm for interactive graphics. Constraints J., 3(1): 9-32.
6. Borning, A., Freeman-Benson, B., & Wilson, M. (1992). Constraint hierarchies. Lisp and Symbolic Com-put., 5(3): 223-270.
7. Borning, A., Marriott, K., Stuckey, P., & Xiao, Y. (1997). Solving linear arithmetic constraints for user interface applications. In Proc. ACM UIST, pages 87-96.
8. Freeman-Benson, B., Wilson, M., & Borning, A. (1992). DeltaStar: A general algorithm for incremental satisfaction of constraint hierarchies. In Proc. IEEE IPCCC, pages 561-568.
9. Freeman-Benson, B. N., Maloney, J., & Borning, A. (1990). An incremental constraint solver. Commun. ACM, 33(1): 54-63.
10. Freuder, E. C., & Wallace, R. J. (1992). Partial constraint satisfaction. Artif. Intell., 58: 21-70.
11. Harvey, W., Stuckey, P., & Borning, A. (1997). Compiling constraint solving using projection. In Principles and Practice of Constraint Programming - CP97, Vol. 1330 of LNCS, pages 491-505, Springer.
12. Hosobe, H. (2000). A scalable linear constraint solver for user interface construction. In Principles and Practice of Constraint Programming - CP2000, Vol. 1894 of LNCS, pages 218-232. Springer.
13. Hosobe, H. (2001). A modular geometric constraint solver for user interface applications. In Proc. ACM UIST, pages 91-100.
14. Hosobe, H., Matsuoka, S., & Yonezawa, A. (1996). Generalized local propagation: A framework for solving constraint hierarchies. In Principles and Practice of Constraint Programming - CP96, Vol. 1118 of LNCS, pages 237-251. Springer.
15. Hosobe, H., Miyashita, K., Takahashi, S., Matsuoka, S., & Yonezawa, A. (1994). Locally simultaneous constraint satisfaction. In Principles and Practice of Constraint Programming - PPCP'94, Vol. 874 of LNCS, pages 51-62. Springer.
16. Jampel, M. (1996). A compositional theory of constraint hierarchies (operational semantics). In Over-Constrained Systems, Vol. 1106 of LNCS, pages 189-206. Springer.
17. Maloney, J. H., Borning, A., & Freeman-Benson, B. N. (1989). Constraint technology for user-interface construction in ThingLab II. In Proc. ACM OOPSLA, pages 381-388.
18. Marriott, K. & Stuckey, P. J. (1998). Programming with Constraints: An Introduction. MIT Press.
19. Ryu, Y. U. (1999). A hierarchical constraint satisfaction approach to product selection for electronic shopping support. IEEE Trans. Syst., Man, Cybern. A, 29(6): 525-532.
20. Sannella, M. (1994). SkyBlue: A multi-way local propagation constraint solver for user interface construction. In Proc. ACM UIST, pages 137-146.
21. Satoh, K., & Aiba, A. (1991). Computing soft constraints by hierarchical constraint logic programming. Technical Report TR-610, ICOT, Japan.
22. Schiex T. (2000). Arc consistency for soft constraints. In Principles Practice of Constraint Programming - CP2000, Vol. 1894 of LNCS, pages 411-424. Springer.
23. Wilson, M. (1993). Hierarchical constraint logic programming (Ph.d. Dissertation). Technical Report 93-05-01, Dept. of Computer Science and Engineering, University of Washington.
24. Wilson, M., & Borning, A. (1989). Extending hierarchical constraint logic programming: Nonmonotonicity and inter-hierarchy comparison. In Proc. North American Conf. on Logic Programming, pages 3-19.
25. Wilson, M., & Borning, A. (1993). Hierarchical constraint logic programming. J. Logic Prog., 16(3&4): 277-319.
26. Wolf, A. (1996). Transforming ordered constraint hierarchies into ordinary constraint systems. In Over-Constrained Systems, Vol. 1106 of LNCS, pages 171-187. Springer.