Title: A Survey of Lower Bounds for Satisfiability and Related Problems
Subjects: Computer algorithms, Computational complexity, Propositional calculus, Infinity, Logic, MATHEMATICS, Computers