Proof Complexity

,Proof Complexity,Proofs Complexity,proof complex,proof complexities

Proof Complexity
Publications: 228| Citation Count: 1,448
Stemming Variations: Proofs Complexity, proof complex, proof complexities
Cumulative Annual
    • Proof complexity is an interdisciplinary area of research utilizing techniques from logic, complexity, and combinatorics towards the main aim of understanding the complexity of theorem proving procedures. Traditionally, propositional proofs have been the main object of investigation in proof complexity. Due their richer expressivity and numerous applications within computer science, also non-classical logics have been intensively studied from a proof complexity perspective in the last decade, and a number of impressive results have been obtained...

    Olaf Beyersdorff. Proof Complexity of Non-classical Logics

    • Proof complexity is a research area that studies the concept of complexity from the point of view of logic...

    Pavel Pudlák. Twelve Problems in Proof Complexity

Sort by: