Proof Complexity in Algebraic Systems and Bounded Depth Frege Systems with Modular Counting - researchr publication

researchr

You are not signed in
Sign in
Sign up

Samuel R. Buss, Russell Impagliazzo, Jan Krajícek, Pavel Pudlák, Alexander A. Razborov, Jiri Sgall. Proof Complexity in Algebraic Systems and Bounded Depth Frege Systems with Modular Counting. Computational Complexity, 6(3):256-298, 1997.

Abstract is missing.

runs on WebDSL