SCOPUS 정보 검색 플랫폼

Volumn 7, Issue 2, 2002, Pages 199-219

Fourier elimination for compiling constraint hierarchies

(3) Harvey, Warwick a Stuckey, Peter J a Borning, Alan b

b UNIVERSITY OF WASHINGTON (United States)

Author keywords

Constraint compilation; Fourier elimination algorithm; Hierarchical constraints; Linear arithmetic constraints; User interfaces

Indexed keywords

ALGORITHMS; CODES (SYMBOLS); HIERARCHICAL SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; JAVA PROGRAMMING LANGUAGE; PROBLEM SOLVING; PROGRAM COMPILERS; REAL TIME SYSTEMS;

CONSTRAINT-FREE CODES; INEQUALITY CONSTRAINTS;

CONSTRAINT THEORY;

EID: 0036542251 PISSN: 13837133 EISSN: None Source Type: Journal
DOI: 10.1023/A:1015161716072 Document Type: Article

Times cited : (7)

References (14)

1
- 84976722628
- The programming language aspects of ThingLab, a constraint-oriented simulation laboratory
- (1981) ACM Transactions on Programming Languages and Systems , vol.3 , Issue.4 , pp. 353-387
- Borning, A.¹

2
- 0030386118
- Indigo: A local propagation algorithm for inequality constraints
- Seattle
- (1996) Proceedings of the 1996 ACM Symposium on User Interface Software and Technology , pp. 129-136
- Borning, A.¹ Anderson, R.² Freeman-Benson, B.³

3
- 84958054516
- The OTI constraint solver: A constraint library for constructing interactive graphical user interfaces
- Cassis, France
- (1995) Proceedings of the First International Conference on Principles and Practice of Constraint Programming , pp. 624-628
- Borning, A.¹ Freeman-Benson, B.²

4
- 0032049905
- Ultraviolet: A constraint satisfaction algorithm for interactive graphics
- (1998) Constraints: An International Journal , vol.3 , Issue.1 , pp. 9-32
- Borning, A.¹ Freeman-Benson, B.²

5
- 0000719690
- Constraint hierarchies
- (1992) Lisp and Symbolic Computation , vol.5 , Issue.3 , pp. 223-270
- Borning, A.¹ Freeman-Benson, B.² Wilson, M.³

6
- 0031380443
- Constraints for the web
- (1997) Proceedings of Fifth ACM International Multi-Media Conference , pp. 173-182
- Borning, A.¹ Lin, R.² Marriott, K.³

7
- 0030674975
- Solving linear arithmetic constraints for user interface applications
- (1997) Proceedings of the 1997 ACM Symposium on User Interface Software and Technology , pp. 87-96
- Borning, A.¹ Marriott, K.² Stuckey, P.³ Xiao, Y.⁴

8
- 0009362995
- Personal communication
- Object Technology International
- Freeman-Benson, B.¹

9
- 0022910673
- Finite-resolution computational geometry
- IEEE Computer Society Press
- (1986) Proceedings of the 27th Annual Symposium on the Foundations of Computer Science , pp. 143-152
- Greene, D.H.¹ Yao, F.F.²

10
- 84948967912
- Compiling constraint solving using projection
- G. Smolka (ed.), LNCS. Springer-Verlag
- (1997) Proceedings of the Third International Conference on Principles and Practices of Constraint Programming , pp. 491-505
- Harvey, W.¹ Stuckey, P.J.² Borning, A.³

11
- 84958093941
- Beyond finite domains
- LNCS. Orcas Island, Washington, Springer-Verlag
- (1994) Proceedings of the International Workshop on Principle and Practices of Constraint Programming , vol.874 , pp. 86-93
- Jaffar, J.¹ Maher, M.J.² Stuckey, P.J.³ Yao, R.H.C.⁴

12
- 24444460134
- Technical Report STAN-CS-78-689. Stanford University
- (1978) log n algorithm for the two-variable-per-constraint linear programming satisfiability problem
- Nelson, C.G.¹

13
- 84948980924
- Understanding and improving the MAC algorithm
- G. Smolka (ed.), LNCS. Springer-Verlag
- (1997) Proceedings of the Third International Conference on Principles and Practices of Constraint Programming , pp. 167-181
- Sabin, D.¹ Freuder, E.C.²

14
- 0030262017
- The execution algorithm of Mercury: An efficient purely declarative logic programming language
- (1996) Journal of Logic Programming , vol.29 , Issue.1-3 , pp. 17-64
- Somogyi, Z.¹ Henderson, F.² Conway, T.³

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.