User: Guest  Login
If you experience problems opening the document, please try this link.
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
Fulltext / DOI:
doi:10.1007/s10817-018-9455-7
Publisher:
Springer Science and Business Media LLC
E-ISSN:
0168-74331573-0670
Date of publication:
12.03.2018
 BibTeX