Searching for "Proof Complexity in Algebraic Systems and Bounded Depth Frege Systems with Modular Counting." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Proof Complexity In Algebraic Systems And Bounded Depth Frege Systems With Modular Counting
by S. Buss, R. Impagliazzo, J. Krajicek, P. Pudlak, A. A. Razborov, J. Sgall
…PROOF COMPLEXITY IN ALGEBRAIC SYSTEMS AND BOUNDED DEPTH FREGE SYSTEMS WITH MODULAR COUNTING S. Buss…
Cited by 28 (9 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB