Blanchette, Jasmin Christian <br/><br/>
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality.  [electronic resource] 

 -  Journal of automated reasoning  2018 
 - 333-365 p.  digital 
<br/><br/> Publication Type: Journal Article 
<br/><br/><label>ISSN: </label>1573-0670 
<br/><br/><label>Standard No.: </label>10.1007/s10817-018-9455-7  doi