Doijade,M.M. <br/><br/>
A Parallel Algorithm For Cnf- Sat And Study Of Its Scalability 

 - 1st Ed. 
 - Sangli  Walchand College of Engineering  2013 
 - 250 p.  20 cm. 
<br/><br/><br/>Text in English 
<br/><br/><label>Dewey Class. No.: </label> / DOI