A scalable linear constraint solver for user interface construction

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

Volumn 1894, Issue , 2000, Pages 218-233

  Hosobe, Hiroshi ^a  

^a NATIONAL INSTITUTE OF INFORMATICS   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; GRAPHICAL USER INTERFACES; LOGIC PROGRAMMING; NUMERICAL METHODS;

CONSTRAINT SOLVERS; CONSTRAINT SYSTEMS; INEQUALITY CONSTRAINT; INTERACTIVE GRAPHICAL USER INTERFACE; LINEAR CONSTRAINT SOLVER; LINEAR CONSTRAINTS; NOVEL TECHNIQUES; REAL TIME EXECUTION;

HIERARCHICAL SYSTEMS;

EID: 23044523554     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45349-0_17     Document Type: Conference Paper

References (15)

1. Badros, G. J., Borning, A.: The Cassowary linear arithmetic constraint solving algorithm: Interface and implementation. Tech. Rep. 98-06-04, Dept. of Computer Science and Engineering, Univ. of Washington, 1998.
2. Borning, A., Anderson, R., Freeman-Benson, B.: Indigo: A local propagation algorithm for inequality constraints. In Proc. ACM UIST, pp. 129-136, 1996.
3. Borning, A., Freeman-Benson, B., Wilson, M.: Constraint hierarchies. Lisp and Symbolic Computation, 5(3): 223-270, 1992.
4. Borning, A., Marriott, K., Stuckey, P., Xiao, Y.: Solving linear arithmetic constraints for user interface applications. In Proc. ACM UIST, pp. 87-96, 1997.
5. Chvátal, V.: Linear Programming. Freeman, 1983.
6. Freeman-Benson, B. N., Maloney, J., Borning, A.: An incremental constraint solver. Comm. ACM, 33(1): 54-63, 1990.
7. Harvey, W., Stuckey, P., Borning, A.: Compiling constraint solving using projection. In Principles and Practice of Constraint Programming-CP97, vol. 1330 of LNCS, pp. 491-505. Springer, 1997.
8. Hosobe, H.: Theoretical Properties and Efficient Satisfaction of Hierarchical Constraint Systems. PhD thesis, Dept. of Information Science, Univ. of Tokyo, 1998.
9. Hosobe, H., Miyashita, K., Takahashi, S., Matsuoka, S., Yonezawa, A.: Locally simultaneous constraint satisfaction. In Principles and Practice of Constraint Programming-PPCP’94, vol. 874 of LNCS, pp. 51-62. Springer, 1994.
10. Marriott, K., Chok, S. C., Finlay, A.: A tableau based constraint solving toolkit for interactive graphical applications. In Principles and Practice of Constraint Programming-CP98, vol. 1520 of LNCS, pp. 340-354. Springer, 1998.
11. Oguni, C., Murata, K., Miyoshi, T., Dongarra, J. J., Hasegawa, H.: Matrix Computing Software. Maruzen, 1991. In Japanese.
12. Press, W. H., Flannery, B. P., Teukolsky, S. A., Vetterling, W. T.: NUMERICAL RECIPES in C: The Art of Scientific Computing. Cambridge University Press, 1988.
13. Refalo, P., Hentenryck, P. V.: CLP(Rlin) revised. In Proc. JICSLP, pp. 22-36. MIT Press, 1996.
14. Sannella, M.: SkyBlue: A multi-way local propagation constraint solver for user interface construction. In Proc. ACM UIST, pp. 137-146, 1994.
15. Vander Zanden, B.: An incremental algorithm for satisfying hierarchies of multi-way dataflow constraints. ACM Trans. Prog. Lang. Syst., 18(1): 30-72, 1996.