To guess or to think? Hybrid algorithms for SAT

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1118, Issue , 1996, Pages 555-556

  Rish, Irina ^a   Dechter, Rina ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84957863496     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61551-2_113     Document Type: Conference Paper

References (4)

1. M. Davis, G. Logemann and D. Loveland, A machine program for theorem proving, Communications of the ACM, 5, 1962, pp 394-397.
2. M. Davis, and H. Putnam, A computing procedure for quantification theory, Journal of the ACM, 7, 1960, pp 201-215.
3. R. Dechter, Topological parameters for time-space tradeoff, In Proceedings of UAI-96, 1996.
4. R. Dechter and I. Rish, Directional Itesolution: The Davis-Putnam Procedure, Irevisited. In Proceedings o] KR-94, pp 134-145, 1994