Login
- Title:
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality
- Document type:
- Zeitschriftenaufsatz
- Author(s):
- Blanchette, Jasmin Christian; Fleury, Mathias; Lammich, Peter; Weidenbach, Christoph
- 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
Occurrences: