SCOPUS 정보 검색 플랫폼

Volumn 4204 LNCS, Issue , 2006, Pages 182-197

Watched literals for constraint propagation in Minion

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; FINITE ELEMENT METHOD; PROBLEM SOLVING;

CONSTRAINT PROPAGATION; CONSTRAINT SOLVER; SATISFIABILITY COMMUNITY;

CONSTRAINT THEORY;

EID: 33750372472 PISSN: 03029743 EISSN: 16113349 Source Type: Book Series
DOI: 10.1007/11889205_15 Document Type: Conference Paper

Times cited : (43)

References (14)

1
- 0001059092
- Arc consistency for general constraint networks: Preliminary results
- C. Bessière and J.C. Régin. Arc consistency for general constraint networks: Preliminary results. IJCAI, 398-404, 1997.
- (1997) IJCAI , pp. 398-404
- Bessière, C.¹ Régin, J.C.²

2
- 0028336331
- Arc-consistency and arc-consistency again
- C. Bessière. Arc-consistency and arc-consistency again. AIJ, 65(1):179-190, 1994.
- (1994) AIJ , vol.65 , Issue.1 , pp. 179-190
- Bessière, C.¹

3
- 0002812302
- Using inference to reduce arc consistency computation
- C. Bessière, E. C. Freuder, and J.-C. Régin. Using inference to reduce arc consistency computation. IJCAI, 592-599, 1995.
- (1995) IJCAI , pp. 592-599
- Bessière, C.¹ Freuder, E.C.² Régin, J.-C.³

4
- 18944390206
- An optimal coarse-grained arc consistency algorithm
- C. Bessière, J.-C. Régin, R. H. C. Yap, and Yuanlin Zhang. An optimal coarse-grained arc consistency algorithm, AIJ, 165(2):165-185, 2005.
- (2005) AIJ , vol.165 , Issue.2 , pp. 165-185
- Bessière, C.¹ Régin, J.-C.² Yap, R.H.C.³ Zhang, Y.⁴

6
- 30344450270
- An extensible SAT-solver
- N. Eén and N. Sörensson. An extensible SAT-solver. SAT, 502-518, 2003.
- (2003) SAT , pp. 502-518
- Eén, N.¹ Sörensson, N.²

7
- 34548063705
- Minion: A fast, scalable, constraint solver
- I.P. Gent, C. Jefferson, and I. Miguel. Minion: A fast, scalable, constraint solver. ECAI, 2006.
- (2006) ECAI
- Gent, I.P.¹ Jefferson, C.² Miguel, I.³

8
- 84983198316
- Generality versus specificity: An experience with ai and or techniques
- P. Van Hentenryck and J.-P. Carillon. Generality versus specificity: An experience with ai and or techniques. AAAI, 660-664, 1988.
- (1988) AAAI , pp. 660-664
- Van Hentenryck, P.¹ Carillon, J.-P.²

9
- 0032187332
- Design, implementation, and evaluation of the constraint language cc(FD)
- P. Van Hentenryck, V.A. Saraswat, Y. Deville: Design, implementation, and evaluation of the constraint language cc(FD). J Log. Program. 37(1-3): 139-164 (1998)
- (1998) J Log. Program. , vol.37 , Issue.1-3 , pp. 139-164
- Van Hentenryck, P.¹ Saraswat, V.A.² Deville, Y.³

10
- 0002828161
- SATLIB: An online resource for research on SAT
- H. H. Hoos and T. Stützle. SATLIB: An online resource for research on SAT. SAT, 283-292, 2000.
- (2000) SAT , pp. 283-292
- Hoos, H.H.¹ Stützle, T.²

11
- 26444580077
- CHOCO: Implementing a CP kernel
- F. Laburthe. CHOCO: implementing a CP kernel. In Workshop on Techniques for Implementing Constraint programming Systems (TRICS), 2000.
- (2000) Workshop on Techniques for Implementing Constraint Programming Systems (TRICS)
- Laburthe, F.¹

12
- 0034852165
- Chaff: Engineering an efficient SAT solver
- M. Moskewicz, C. Madigan, Y. Zhao, S. Zhang, and S. Malik. Chaff: Engineering an efficient SAT solver. DAC, 2001.
- (2001) DAC
- Moskewicz, M.¹ Madigan, C.² Zhao, Y.³ Zhang, S.⁴ Malik, S.⁵

13
- 33646198592
- Maintaining Arc Consistency algorithms during the search without additional space cost
- J.-C. Régin: Maintaining Arc Consistency algorithms during the search without additional space cost. CP 2005: 520-533
- CP 2005 , pp. 520-533
- Régin, J.-C.¹

14
- 33750358743
- Speeding up constraint propagation
- C. Schulte and P. J. Stuckey. Speeding up constraint propagation. CP, 619-633, 2004.
- (2004) CP , pp. 619-633
- Schulte, C.¹ Stuckey, P.J.²

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