Khadeeja Febin <br/><br/>
Efficient implementation of SAT solver in GPU 

 -  2018 
 - 34p 
<br/><br/>M Tech (SE) project report 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Efficient implementation of SAT solver in GPU