Dieter van Melkebeek A Survey of Lower Bounds for Satisfiability and Related Problems. 197-303 2006 2 Foundations and Trends in Theoretical Computer Science 3 http://dx.doi.org/10.1561/0400000012 db/journals/fttcs/fttcs2.html#Melkebeek06