DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Bounded Arithmetic
Bounded Arithmetic
Bounded Arithmetic and Propositional Proof Complexity
Bounded Arithmetic Vs. Propositional Proof Systems Vs. Complexity
18 May 2017 Incompleteness in the Finite Domain
A Tight Karp-Lipton Collapse Result in Bounded Arithmetic
A Study of Width Bounded Arithmetic Circuits and the Complexity of Matroid Isomorphism
February 2021 I Am Interested in Mathematical Logic and Complexity
Some Open Problems in Bounded Arithmetic and Propositional Proof Complexity (Research Proposal Paper)
NP Search Problems in Low Fragments of Bounded Arithmetic
Foundations of Proof Complexity: Bounded Arithmetic and Propositional Translations
On the Correspondence Between Arithmetic Theories and Propositional Proof Systems - a Survey
9789400707139.Pdf
Top View