메뉴 건너뛰기




Volumn , Issue , 2003, Pages 830-835

A fast pseudo-boolean constraint solver

Author keywords

0 1 ILP; Pseudo Boolean; Satisfiability

Indexed keywords

ALGORITHMS; BOOLEAN FUNCTIONS; CONSTRAINT THEORY; DECISION THEORY; INFERENCE ENGINES; INTEGER PROGRAMMING; LEARNING SYSTEMS;

EID: 0042134647     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/776038.776041     Document Type: Conference Paper
Times cited : (94)

References (18)
  • 1
    • 0032680865 scopus 로고    scopus 로고
    • GRASP: A search algorithm for prepositional satisfiability
    • J. P. Marques-Silva and K. A. Sakallah, "GRASP: a search algorithm for prepositional satisfiability," IEEE Trans. on Computers, vol. 48, no. 5, pp. 506-521, 1999.
    • (1999) IEEE Trans. on Computers , vol.48 , Issue.5 , pp. 506-521
    • Marques-Silva, J.P.1    Sakallah, K.A.2
  • 3
    • 0024926609 scopus 로고
    • Optimal layout via Boolean satisfiability
    • November
    • S. Devadas, "Optimal layout via Boolean satisfiability," in IEEE/ACM Inter'l Conference on CAD, pp. 294-297, November 1989.
    • (1989) IEEE/ACM Inter'l Conference on CAD , pp. 294-297
    • Devadas, S.1
  • 4
    • 0032095693 scopus 로고    scopus 로고
    • FPGA routing and routability estimation via Boolean satisfiability
    • June
    • R. G. Wood and R. A. Rutenbar, "FPGA routing and routability estimation via Boolean satisfiability," IEEE Trans. on VLSI Systems, pp. 222-231, June 1998.
    • (1998) IEEE Trans. on VLSI Systems , pp. 222-231
    • Wood, R.G.1    Rutenbar, R.A.2
  • 6
    • 0000076101 scopus 로고
    • The intractability of resolution
    • A. Haken, "The intractability of resolution," Theoretical Computer Science, vol. 39, pp. 297-308, 1985.
    • (1985) Theoretical Computer Science , vol.39 , pp. 297-308
    • Haken, A.1
  • 10
    • 0000971541 scopus 로고
    • Edmonds polytopes and a hierarchy of combinatorial problems
    • V. Chvátal, "Edmonds polytopes and a hierarchy of combinatorial problems," Discrete Mathematics, vol. 4, pp. 305-337, 1973.
    • (1973) Discrete Mathematics , vol.4 , pp. 305-337
    • Chvátal, V.1
  • 11
    • 0034155463 scopus 로고    scopus 로고
    • Combining satisfiability techniques from AI and OR
    • March
    • H. E. Dixon and M. L. Ginsberg, "Combining satisfiability techniques from AI and OR," The Knowledge Engineering Review, vol. 15, pp. 31-45, March 2000.
    • (2000) The Knowledge Engineering Review , vol.15 , pp. 31-45
    • Dixon, H.E.1    Ginsberg, M.L.2
  • 12
    • 84881072062 scopus 로고
    • A computing procedure for quantification theory
    • M. Davis and H. Putnam, "A computing procedure for quantification theory," Journal of the ACM, vol. 7, pp. 102-215, 1960.
    • (1960) Journal of the ACM , vol.7 , pp. 102-215
    • Davis, M.1    Putnam, H.2
  • 14
    • 0017544789 scopus 로고
    • Forward reasoning and dependency directed backtracking in a system for computer aided circuit analysis
    • R. M. Stallman and G. J. Sussman, "Forward reasoning and dependency directed backtracking in a system for computer aided circuit analysis," Artificial Intelligence, vol. 9, no. 2, pp. 135-196, 1977.
    • (1977) Artificial Intelligence , vol.9 , Issue.2 , pp. 135-196
    • Stallman, R.M.1    Sussman, G.J.2


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