A survey of lower bounds for satisfiability and related problems. Foundations and Trends in Theoretical Computer Science 2 (2007)

by D van Melkebeek
Venue:McCormick School of Engineering, Evanston, IL. © 2009 ACM 0001-0782/09/0900 $10.00 86 communications of the acm | september 2009