메뉴 건너뛰기




Volumn 14, Issue 3, 2009, Pages 357-391

Propagation via lazy clause generation

Author keywords

Boolean variables; Finite domain propagation; SAT solver

Indexed keywords

BOOLEAN VARIABLES; FINITE DOMAIN PROPAGATION; FINITE DOMAINS; SAT SOLVER; SAT SOLVERS; STATIC TRANSLATION;

EID: 67651111759     PISSN: 13837133     EISSN: 15729354     Source Type: Journal    
DOI: 10.1007/s10601-008-9064-x     Document Type: Article
Times cited : (221)

References (35)
  • 3
    • 67651126884 scopus 로고    scopus 로고
    • Barcelogic for SMT. www.lsi.upc.es/oliveras/bclt-main.html. Accessed 07 February.
    • Barcelogic for SMT
  • 9
    • 67651129787 scopus 로고    scopus 로고
    • Cryptarithmetic puzzles. http://www.tkcs-collins.com/truman/alphamet/ alphamet.shtml. Accessed 07 December.
    • Cryptarithmetic Puzzles
  • 10
    • 67651138038 scopus 로고    scopus 로고
    • CSP competition (2006). http://cpai.ucc.ie/06/Competition.html. Accessed 07 June.
    • (2006) CSP Competition
  • 11
    • 67651141481 scopus 로고    scopus 로고
    • CSP2SAT
    • CSP2SAT. http://bach.istc.kobe-u.ac.jp/csp2sat/. 06 December.
  • 16
    • 67651126883 scopus 로고    scopus 로고
    • GECODE
    • GECODE. www.gecode.org. Accessed 07 February.
  • 18
    • 0025508493 scopus 로고
    • On the parallel complexity of discrete relaxation in constraint satisfaction networks
    • S. Kasif 1990 On the parallel complexity of discrete relaxation in constraint satisfaction networks Artificial Intelligence 45 275 286
    • (1990) Artificial Intelligence , vol.45 , pp. 275-286
    • Kasif, S.1
  • 20
    • 29344442637 scopus 로고    scopus 로고
    • Generalized NoGoods in CSPs
    • Proceedings of the 20th National Conference on Artificial Intelligence and the 17th Innovative Applications of Artificial Intelligence Conference, AAAI-05/IAAI-05
    • Katsirelos, G., & Bacchus, F. (2005). Generalized nogoods in CSPs. In The twentieth national conference on artificial intelligence (AAAI'05) (pp. 390-396). (Pubitemid 43006807)
    • (2005) Proceedings of the National Conference on Artificial Intelligence , vol.1 , pp. 390-396
    • Katsirelos, G.1    Bacchus, F.2
  • 23
    • 67651135631 scopus 로고    scopus 로고
    • Lsencode
    • Lsencode. http://www.cs.cornell.edu/gomes/SOFT/lsencode-v1.1.tar.Z/. Accessed 07 November.
  • 25
    • 67651132911 scopus 로고    scopus 로고
    • Minion
    • Minion. minion.sourceforge.net. Accessed 07 Feb.
  • 26
    • 67651105204 scopus 로고    scopus 로고
    • MiniSat
    • MiniSat. www.cs.chalmers.se/Cs/Resarch/FormalMethods/MiniSat/. Accessed 06 December.
  • 32
    • 33646180414 scopus 로고    scopus 로고
    • Views and iterators for generic constraint implementations
    • P. van Beek (Ed.), Proceedings of the 11th international conference on principles and practice of constraint programming (CP 2005)
    • Schulte, C., & Tack, G. (2005). Views and iterators for generic constraint implementations. In P. van Beek (Ed.), Proceedings of the 11th international conference on principles and practice of constraint programming (CP 2005). Lecture notes in computer science (Vol. 3709, pp. 817-821).
    • (2005) Lecture Notes in Computer Science , vol.3709 , pp. 817-821
    • Schulte, C.1    Tack, G.2
  • 34
    • 0032187332 scopus 로고    scopus 로고
    • Design, implementation, and evaluation of the constraint language cc (FD)
    • PII S0743106698100067
    • P. Van Hentenryck V. Saraswat Y. Deville 1998 Design, implementation and evaluation of the constraint language cc(FD) Journal of Logic Programming 37 1-3 139 164 (Pubitemid 128415803)
    • (1998) Journal of Logic Programming , vol.37 , Issue.1-3 , pp. 139-164
    • Van Hentenryck, P.1    Saraswat, V.2    Deville, Y.3


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