BOOK-CHAPTER
Exponential Lower Bounds for the Length of Resolution Proofs
Keywords:
Mathematical proof Exponential function Resolution (logic) Mathematics Calculus (dental) Upper and lower bounds Discrete mathematics Computer science Mathematical analysis Geometry Medicine Artificial intelligence
Metrics
0
Cited By
0.00
FWCI (Field Weighted Citation Impact)
3
Refs
0.03
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Topics
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
semigroups and automata theory
Physical Sciences → Computer Science → Computational Theory and Mathematics
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Related Documents
BOOK-CHAPTER
Resolution proofs, exponential bounds, and Kolmogorov complexity
Lecture notes in computer science Year: 1997 Pages: 110-116
BOOK-CHAPTER
Exponential lower bounds for semantic resolution
DIMACS series in discrete mathematics and theoretical computer science Year: 1997 Pages: 163-172
JOURNAL ARTICLE
On Exponential Lower Bounds for Partially Ordered Resolution
Journal: Journal on Satisfiability Boolean Modeling and Computation Year: 2016 Vol: 10 (1)Pages: 1-9
JOURNAL ARTICLE
Models of lower-bounds proofs
Journal: Theoretical Computer Science Year: 1987 Vol: 52 (3)Pages: 239-249
JOURNAL ARTICLE
Lower bounds for resolution and cutting plane proofs and monotone computations
Journal: Journal of Symbolic Logic Year: 1997 Vol: 62 (3)Pages: 981-998