scientific article; zbMATH DE number 1223618
From MaRDI portal
Publication:4218929
zbMath0910.03036MaRDI QIDQ4218929
Toniann Pitassi, Samuel R. Buss
Publication date: 15 November 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
upper boundslower boundsweak pigeonhole principlemonotone resolution rulenormal form for resolution proofstree-like resolution proofs
Related Items (16)
Resolution lower bounds for perfect matching principles ⋮ Optimal length resolution refutations of difference constraint systems ⋮ Width versus size in resolution proofs ⋮ Space Complexity in Polynomial Calculus ⋮ Resolution lower bounds for the weak functional pigeonhole principle. ⋮ Improved algorithms for optimal length resolution refutation in difference constraint systems ⋮ Unit read-once refutations for systems of difference constraints ⋮ Parameterized proof complexity ⋮ An Introduction to Lower Bounds on Resolution Proof Systems ⋮ A new proof of the weak pigeonhole principle ⋮ Resolution over linear equations and multilinear proofs ⋮ Unnamed Item ⋮ Propositional proof complexity ⋮ Resolution and the binary encoding of combinatorial principles ⋮ Space bounds for resolution ⋮ Lower bounds for the weak pigeonhole principle and random formulas beyond resolution
This page was built for publication:
