001.64  / L497 <br/>
Bacchus,Fahiem <br/>
       THEORY AND APPLICATIONS OF SATISFIABILITY TESTING; V. 3569 : THEORY AND APPLICATIONS OF SATISFIABILITY TESTING 
 / 
 .-  Springer-Verlag, Berlin,  2005 
 .- xii,492 . 
.- ( Lecture Notes in computer science   
<br><u>ISBN:</u> 3540262768 
<br/><u>Subject Headings:</u> <br/>Propositional Calculus -- Congresses;<br/>Decision Making -- Congresses;<br/>Computer Algorithms -- Congresses;
<br/><U>Author Added Entry: </u><br/>Walsh,Toby;
<br><U>Copy Details:</u><br> Acc. No.: <b>A153669</b>, Full Call No.: 001.64 L497,   Item type:  Lect. Notes Comp. Sc. (Avl.Online) , Location: COMPACT STORAGE (BASEMENT), <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>