Simplified and Improved Resolution Lower Bounds (1996)

Cached

Download Links

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

Documents Related by Co-Citation

183 Short Proofs are Narrow - Resolution made Simple – Eli Ben-sasson, Avi Wigderson - 2000
212 Many hard examples for resolution – V Chvátal, E Szemerédi - 1988
263 The intractability of resolution – A Haken - 1985
739 A machine program for theorem proving – M Davis, G Logemann, D Loveland - 1962
328 The relative efficiency of propositional proof systems – Stephen A. Cook, Robert, A. Reckhow - 1979
131 examples for resolution – Hard - 1987
99 Using the Groebner basis algorithm to find proofs of unsatisfiability – Matthew Clegg, Jeffery Edmonds, Russell Impagliazzo - 1996
51 Resolution proofs of generalized pigeonhole principles – Samuel R. Buss, Győrgy Turán - 1988
49 The Relative Eciency of Propositional Proof systems – Stephen Cook, Robert Reckhow - 1979