Simplified and Improved Resolution Lower Bounds (1996)

Cached

Download Links

by Paul Beame , Toniann Pitassi
Venue:IN PROCEEDINGS OF THE 37TH IEEE FOCS
Citations:103 - 7 self

Active Bibliography

56 The efficiency of resolution and Davis-Putnam procedures – Paul Beame, Richard Karp, Toniann Pitassi, Michael Saks - 1999
126 Algorithms for the Satisfiability (SAT) Problem: A Survey – Jun Gu, Paul W. Purdom, John Franco, Benjamin W. Wah - 1996
98 Generating Hard Satisfiability Problems – Bart Selman, David Mitchell, Hector Levesque - 1996
Probabilistic Analysis of Satisfiability Algorithms – John Franco - 2008
22 Satisfiability Solvers – Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman - 2008
685 A New Method for Solving Hard Satisfiability Problems – Bart Selman, Hector Levesque, David Mitchell - 1992
2 The Complexity of Resource-Bounded Propositional Proofs – Albert Atserias - 2001
Co-directed by – Albert Atserias, José Luis Balcázar, María Luisa Bonet - 2001
115 Finding Hard Instances of the Satisfiability Problem: A Survey – Stephen A. Cook, David G. Mitchell - 1997