Gant,Lan <br/><br/>
SAT 2000  highlights of satisfiability research in the year 2000 
Lan Gant 
 - Amsterdam  IOS Press  2000 
 - 561 
 - Forntiers in artificial inteligence and applications  v 63 .
<br/><br/><label>ISBN: </label>01586 03 06  DFL 260.00