BOOK-CHAPTER
Exponential lower bounds for semantic resolution
Year: 1997 DIMACS series in discrete mathematics and theoretical computer science Pages: 163-172
Keywords:
Exponential function Resolution (logic) Mathematics Applied mathematics Computer science Statistics Artificial intelligence Mathematical analysis
Metrics
5
Cited By
0.46
FWCI (Field Weighted Citation Impact)
0
Refs
0.56
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Constraint Satisfaction and Optimization
Physical Sciences → Computer Science → Computer Networks and Communications
Related Documents
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
BOOK-CHAPTER
Kernelization, Exponential Lower Bounds
Encyclopedia of Algorithms Year: 2014 Pages: 1-6
BOOK-CHAPTER
Kernelization, Exponential Lower Bounds
Encyclopedia of Algorithms Year: 2016 Pages: 1013-1017
JOURNAL ARTICLE
Worst Case Exponential Lower Bounds for Input Resolution with Paramodulation
Journal: SIAM Journal on Computing Year: 1980 Vol: 9 (1)Pages: 104-110