Implementing the Davis-Putnam Method (2000)

Cached

Download Links

by Hantao Zhang , Mark E. Stickel
Venue:Journal of Automated Reasoning
Citations:53 - 3 self

Active Bibliography

37 Implementing the Davis-Putnam Algorithm by Tries – Hantao Zhang, Mark E. Stickel - 1994
14 The search for Satisfaction – Ian P. Gent, Toby Walsh - 1999
43 Ordered Binary Decision Diagrams and the Davis-Putnam Procedure – Tomás E. Uribe, Mark E. Stickel - 1994
43 The impact of branching heuristics in propositional satisfiability algorithms – João Marques-silva - 1999
3 Specifying Latin Square Problems in Propositional Logic – Hantao Zhang - 1997
7 Cumulating Search in a Distributed Computing Environment: A Case Study in Parallel Satisfiability – Hantao Zhang, Maria Paola Bonacina - 1994
68 PSATO: a Distributed Propositional Prover and Its Application to Quasigroup Problems – Hantao Zhang, Maria Paola Bonacina, Maria Paola, Bonacina, Jieh Hsiang - 1996
16 Solving Open Quasigroup Problems by Propositional Reasoning – Hantao Zhang, Jieh Hsiang - 1994
9 A Random Jump Strategy for Combinatorial Search – Hantao Zhang - 2001
The Satisfiability Problem- From The Theory of NP-completeness to State-Of-The-Art SAT Solvers – Rave Harpaz
6 On the Advantage of a Non-Clausal Davis-Putnam Procedure – Jens Otten - 1997
13 Conflict-Driven Clause Learning SAT Solvers – C Joao Marques-Silva, Ines Lynce, Sharad Malik - 2009
26 New inference rules for Max-SAT – Chu Min Li, Felip Manyà, Jordi Planes - 2007
127 Algorithms for the Satisfiability (SAT) Problem: A Survey – Jun Gu, Paul W. Purdom, John Franco, Benjamin W. Wah - 1996
161 Improvements To Propositional Satisfiability Search Algorithms – Jon William Freeman - 1995
Chapter 2 Satisfiability Solvers – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman
56 Automated Reasoning and Exhaustive Search: Quasigroup Existence Problems – John Slaney, Masayuki Fujita, Mark Stickel - 1995
Anatomy and Empirical Evaluation of Modern SAT Solvers – Yuri Gurevich, Karem A. Sakallah, Joao Marques-silva
6 The Partial Rehabilitation of Propositional Resolution – Allen Van Gelder, Fumiaki Kamiya - 1996