User: Guest  Login
Document type:
Zeitschriftenaufsatz 
Author(s):
Blanchette, Jasmin Christian; Fleury, Mathias; Lammich, Peter; Weidenbach, Christoph 
Title:
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality 
Journal title:
Journal of Automated Reasoning 
Year:
2018 
Journal volume:
61 
Journal issue:
1-4 
Pages contribution:
333-365 
Publisher:
Springer Science and Business Media LLC 
E-ISSN:
0168-74331573-0670 
Date of publication:
12.03.2018