Hierarchical nonlinear constraint satisfaction

Proceedings of the ACM Symposium on Applied Computing

Volumn 1, Issue , 2004, Pages 16-20

  Hosobe, Hiroshi ^a  

^a NATIONAL INSTITUTE OF INFORMATICS   (Japan)

Author keywords

Constraint hierarchies; Constraint satisfaction; Least squares; Nonlinear constraints

Indexed keywords

C (PROGRAMMING LANGUAGE); GRAPH THEORY; ITERATIVE METHODS; LEAST SQUARES APPROXIMATIONS; PROBLEM SOLVING;

CONSTRAINT HIERARCHIES; CONSTRAINT SATISFACTION; NONLINEAR CONSTRAINTS;

CONSTRAINT THEORY;

EID: 2442688131     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/967900.967907     Document Type: Conference Paper

References (17)

1. G. J. Badros, A. Burning, and P. J. Stuckey. The Cassowary linear arithmetic constraint solving algorithm. ACM Trans. Comput.-Human Interact., 8(4):267-306, 2001.
2. F. Benhamou and M. Ceberio. Soft constraints: A unifying framework applied to continuous soft constraints. In Proc. Workshop of the ERCIM Working Group on Constraints and the CoLogNET Area on Constraint and Logic Programming, 2003.
3. S. Bistarelli, U. Montanari, and F. Rossi. Semiring-based constraint solving and optimization. J. ACM, 44(2):201-236, 1997.
4. Å. Björck. Numerical Methods for Least Squares Problems. SIAM, 1996.
5. A. Borning, B. Freeman-Benson, and M. Wilson. Constraint hierarchies. Lisp Symbolic Comput., 5(3):223-270, 1992.
6. A. Burning, K. Marriott, P. Stuckey, and Y. Xiao. Solving linear arithmetic constraints for user interface applications. In Proc. ACM UIST, pages 87-96, 1997.
7. R. Fletcher. Practical Methods of Optimization. Wiley, 2nd edition, 1987.
8. B. N. Freeman-Benson, J. Maloney, and A. Borning. An incremental constraint solver. Comm. ACM, 33(1):54-63, 1990.
9. E. C. Freuder and R. J. Wallace. Partial constraint satisfaction. Artif. Intell., 58:21-70, 1992.
10. M. Gulliksson, I. Söderkvist, and P.-Å. Wedin. Algorithms for constrained and weighted nonlinear least squares. SIAM J. Optim., 7(1):208-224, 1997.
11. M. Gulliksson and P.-Å. Wedin. Modifying the QR-decomposition to constrained and weighted linear least squares. SIAM J. Matrix Anal. Appl., 13(4):1298-1313, 1992.
12. H. Hosobe. A scalable linear constraint solver for user interface construction. In Principles and Practice of Constraint Programming - CP2000, volume 1894 of LNCS, pages 218-232. Springer, 2000.
13. H. Hosobe. A modular geometric constraint solver for user interface applications. In Proc. ACM UIST, pages 91-100, 2001.
14. N. Hurst, K. Marriott, and P. Moulder. Dynamic approximation of complex graphical constraints by linear constraints. In Proc. ACM UIST, pages 191-200, 2002.
15. G. A. Kramer. A geometric constraint engine. Artif. Intell., 58(1-3):327-360, 1992.
16. K. Marriott and S. S. Chok. QOCA: A constraint solving toolkit for interactive graphical applications. Constraints, 7(3-4):229-254, 2002.
17. J. C. Owen. Algebraic solution for geometry from dimensional constraints. In Proc. ACM Solid Modeling, pages 397-407, 1991.