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

 -  IEEE 
<br/><br/><label>ISBN: </label>9781601980847 
<br/><br/><label>Subjects--Topical Terms: </label><br/>General Topics for Engineers