Transforming ordered constraint hierarchies into ordinary constraint systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1106, Issue , 1996, Pages 171-187

  Wolf, Armin ^a  

^a FRAUNHOFER INSTITUTE FOR APPLIED INFORMATION TECHNOLOGY FIT   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING;

CONSTRAINT HIERARCHY; CONSTRAINT SYSTEMS; ERROR FUNCTION; FINITE DOMAIN CONSTRAINTS; MODIFIED ALGORITHMS; OVER-CONSTRAINED; PROTOTYPE IMPLEMENTATIONS; REAL-WORLD PROBLEM;

CONSTRAINT THEORY;

EID: 84947811728     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61479-6_21     Document Type: Conference Paper

References (15)

1. Alan Borning and Robert Duisberg. Constraint-based tools for building user interfaces. ACM Transactions on Graphics, 5(4):345-374, October 1986.
2. Alan Borning, Robert Duisberg, Bjorn Freeman-Benson, Axel Kramer, and Michael Woolf. Constraint hierarchies. In Proceedings of the OOPSLA, 1987.
3. ECRC, München. ECLPS6 3. 5, Extensions User Manual, 1995.
4. ECRC, München. ECÚPS1 3. 5, User Manual, 1995.
5. Bjorn Freeman-Benson, Molly Wilson, and Alan Borning. DeltaStar: A general algorithm for incremental satisfaction of constraint hierarchies. In Proceedings of the 11th Annual IEEE Phoenix Conference on Computers and Communication, pages 561-568. IEEE, March 1992.
6. H.-J. Goltz. Reducing domains for search in CLP(FD) and its application to job-shop scheduling. In Ugo Montanari and Francesca Rossi, editors, Proceedings of the First International Conference on Principles and Practice of Constraint Programming 1995, number 976 in Lecture Notes in Computer Science, pages 549-562. Springer Verlag, 1995.
7. Nevin C. Heintze, Spiro Michaylov, Peter J. Stuckey, and Roland H. C. Yap. The CLP(1Z) Programmer’s Manual, Version 1. 2. IBM Thomas J. Watson Research Center, PO Box 704, Yorktown Heights, NY 10598, U. S. A., September 1992.
8. G. Nelson. Juno, A constraint-based graphics system. Computer Graphics, ACM SIGGRAPH, pages 235-243, 1985.
9. Francis Newberry Paulisch and Walter F. Tichy. Edge: An extendible graph editor. Software — Practice and Experience, 20(Sl):63-88, June 1990.
10. Michael Sannella. The SkyBlue constraint solver and its applications. In Vijay A. Saraswat and Pascal van Hentenryck, editors, Proceedings of the 1993 Workshop on Principles and Practice of Constraint Programming. The MIT Press, 1994.
11. Ken Satoh and Akira Aiba. Computing soft constraints by hierarchical constraint logic programming. Technical Report 610, Institute for New Generation Computer Technology (ICOT), 1991.
12. A. Schrijver. Theory of Linear and Integer Programming. John Wiley & Sons, 1986.
13. Fujio Tsusumi. An efficient algorithm of logic programming with constraint hierarchy. In Jean-Pierre Jouannaud, editor, Proceedings of the First International Conference on Constraints in Computational Logics, number 845 in Lecture Notes in Computer Science, pages 170-182. Springer Verlag, 1994.
14. Molly Ann Wilson. Hierarchical Constraint Logic Programming. PhD thesis, Dept, of Computer Science and Engineering, University of Washington, 1993.
15. Molly Ann Wilson and Alan Borning. Hierachical constraint logic programming. The Journal of Logic Programming, 16(3-4):277-318, July and August 1993.