Melkebeek <br/><br/>
A Survey of Lower Bounds for Satisfiability and Related Problems 

 -  Now Foundations and Trends  2007 
<br/><br/><label>ISBN: </label>9781601980854 
<br/><br/><label>Subjects--Topical Terms: </label><br/>General Topics for Engineers