Search alternatives:
"proof complexity" » "problem complexity"
Cover Image
Read Now

1
by Krajíček, Jan
Published 2019
Cambridge University Press
Table of Contents: “... -- Model theory and lower bounds -- Optimality -- The nature of proof complexity...”
Cover Image
Read Now

2
by Cook, Stephen, Nguyen, Phuong
Published 2010
Cambridge University Press
“...This book treats bounded arithmetic and propositional proof complexity from the point of view...”
Cover Image
Read Now

3
by Krajíček, Jan
Published 2011
Cambridge University Press
“...Forcing with Random Variables & Proof Complexity...”
Cover Image
Read Now

4
by Bonacina, Ilario
Published 2017
Springer International Publishing
“... an introduction to propositional proof complexity the author structures the book into three main parts. Part I...”
Cover Image
Read Now

5
by Pudlák, Pavel
Published 2013
Springer International Publishing
Table of Contents: “... -- The complexity of computations -- Proof complexity -- Consistency, Truth and Existence -- References...”
Cover Image
Read Now

6
Published 2014
Springer International Publishing
Table of Contents: “...A (Biased) Proof Complexity Survey for SAT Practitioners -- Cores in Core Based MaxSat Algorithms...”
Cover Image
Read Now

7
Published 2019
Springer International Publishing
Table of Contents: “... and Interactive Theorem Proving -- Circular (Yet Sound) Proofs -- Short Proofs in QBF Expansion -- Proof...”
Cover Image
Read Now

8
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... Papers -- Propositional Proof Complexity I -- Exponential Separations in a Hierarchy of Clause Learning...”
Cover Image
Read Now

9
by Jukna, Stasys
Published 2012
Springer Berlin Heidelberg
Table of Contents: “... Depth Circuits -- Part V Branching Programs -- Part VI Fragments of Proof Complexity -- A Epilog -- B...”
Cover Image
Read Now

10
by Plaisted, David A., Zhu, Yunshan
Published 1997
Vieweg+Teubner Verlag
Table of Contents: “...-Order Theorem Proving Strategies -- 2.1 Introduction -- 2.2 Proof Complexity measures -- 2.3 Inherent...”
Cover Image
Read Now

11
by Rao, Anup, Yehudayoff, Amir
Published 2020
Cambridge University Press
“... applications including circuit complexity, proof complexity, streaming algorithms, extension complexity...”
Cover Image
Read Now

12
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... Correctness Proofs of Functional Programs: Dijkstra’s Algorithm, a Case Study -- Propositional Proof...”
Cover Image
Read Now

13
Published 2015
Springer International Publishing
“... (exact algorithms, proof complexity, and other complexity issues), practical search algorithms, knowledge...”
Cover Image
Read Now

14
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... -- Bounded Arithmetic and Propositional Proof Complexity -- The Structure of Nuprl’s Type Theory...”
Cover Image
Read Now

15
Published 2018
Springer International Publishing
“... (such as exact algorithms, proof complexity, and other complexity issues), practical search algorithms, knowledge...”
Cover Image
Read Now

16
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... of Regularly Extended E0L Grammars: An Automata Theoretic Proof -- Complexity of Evolving Interactive Systems...”
Cover Image
Read Now

17
Published 2014
Birkhäuser
“... and proof complexity, entropy and randomness. Several chapters have a tutorial flavor. The aim is to make...”
Cover Image
Read Now

18
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... -- Bounded Model Search in Linear Temporal Logic and Its Application to Planning -- On Proof Complexity...”
Cover Image
Read Now

19
Published 2024
Springer Nature Switzerland
Table of Contents: “... for Guided Reactive Synthesis -- On Regular Expression Proof Complexity of Salomaa’s Axiom System F1...”
Cover Image
Read Now

20
Published 2002
Springer Berlin Heidelberg
Table of Contents: “..., and Representations of Numbers -- Proof Complexity of Pigeonhole Principles -- Words and Patterns -- A Short...”