메뉴 건너뛰기




Volumn 43, Issue 1-4, 2005, Pages 137-152

Efficient data structures for backtrack search SAT solvers

Author keywords

backtrack search; propositional satisfiability

Indexed keywords


EID: 10344261575     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10472-005-0425-5     Document Type: Article
Times cited : (19)

References (18)
  • 2
    • 27344455409 scopus 로고    scopus 로고
    • Using randomization and learning to solve hard real-world instances of satisfiability
    • ed. R. Dechter, Lecture Notes in Computer Science
    • L. Baptista and J.P. Marques-Silva, Using randomization and learning to solve hard real-world instances of satisfiability, in: International Conference on Principles and Practice of Constraint Programming, ed. R. Dechter, Lecture Notes in Computer Science, Vol. 1894 (2000) pp. 489-494.
    • (2000) International Conference on Principles and Practice of Constraint Programming , vol.1894 , pp. 489-494
    • Baptista, L.1    Marques-Silva, J.P.2
  • 7
    • 0344145288 scopus 로고
    • Satisfiability testing with more reasoning and less guessing
    • eds. D.S. Johnson and M.A. Trick American Mathematical Society
    • A.V. Gelder and Y.K. Tsuji, Satisfiability testing with more reasoning and less guessing, in: Second DIMACS Implementation Challenge, eds. D.S. Johnson and M.A. Trick (American Mathematical Society, 1993).
    • (1993) Second DIMACS Implementation Challenge
    • Gelder, A.V.1    Tsuji, Y.K.2
  • 9
    • 0042851778 scopus 로고    scopus 로고
    • The propositional formula Checker Heerhugo
    • eds. I. Gent, H. van Maaren and T. Walsh IOS Press
    • J.F. Groote and J.P. Warners, The propositional formula Checker Heerhugo, in: Proceedings of SAT 2000, eds. I. Gent, H. van Maaren and T. Walsh (IOS Press, 2000) pp. 261-281.
    • (2000) Proceedings of SAT 2000 , pp. 261-281
    • Groote, J.F.1    Warners, J.P.2
  • 11
    • 84861431321 scopus 로고    scopus 로고
    • Algebraic simplification techniques for propositional satisfiability
    • ed. R. Dechter, Lecture Notes in Computer Science
    • J.P. Marques-Silva, Algebraic simplification techniques for propositional satisfiability, in: International Conference on Principles and Practice of Constraint Programming, ed. R. Dechter, Lecture Notes in Computer Science, Vol. 1894 (2000) pp. 537-542.
    • (2000) International Conference on Principles and Practice of Constraint Programming , vol.1894 , pp. 537-542
    • Marques-Silva, J.P.1
  • 18
    • 0041414357 scopus 로고    scopus 로고
    • Implementing the Davis-Putnam method
    • eds. I. Gent, H. van Maaren and T. Walsh IOS Press
    • H. Zhang and M. Stickel, Implementing the Davis-Putnam method, in: Proceedings of SAT 2000, eds. I. Gent, H. van Maaren and T. Walsh (IOS Press, 2000) pp. 309-326.
    • (2000) Proceedings of SAT 2000 , pp. 309-326
    • Zhang, H.1    Stickel, M.2


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