Biere, Armin (Editor) <br/><br/>
Handbook of satisfiability (in two parts) 

 - 2nd ed. 
 - Amsterdam  IOS Press  2021 
 - various pagings 
 - Frontiers in artificial intelligence and applications .
<br/><br/><label>ISBN: </label>9781643681603 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Algebra, Boolean<br/>Computer algorithms
<br/><br/><label>Dewey Class. No.: </label>511.3 BIE/H