Searching for "Lower Bounds for the Lengths of Refutations." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Publications in Program Development
- …):1--30, January 1993. [15] H.-P. Ko, D. McAllester, and M. E. Nadel. Lower bounds for the lengths of refutations…
- Add To MetaCart
-
unknown title
- … on proving lower bounds for the length of refutations. Recently Ben-Sasson and Wigderson [9] based on ideas…
- Add To MetaCart
-
On Chvátal Rank and Cutting Planes Proofs
- … and the minimum refutation length in the cutting planes proof system. The result implies that length lower bounds…
- Cited by 4 (0 self) – Add To MetaCart
-
Some Random CSPs are Hard for Resolution
- …, by the following result which relates lower bounds on "width" of refutations of OE to lower bounds on length…
- Add To MetaCart
Showing 1 through 4.
