TY  - GEN
AU  - Blanchette,Jasmin Christian
AU  - Fleury,Mathias
AU  - Lammich,Peter
AU  - Weidenbach,Christoph
TI  - A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality
SN  - 1573-0670
PY  - 2018///
PB  - Journal of automated reasoning
N1  - Publication Type: Journal Article
UR  - https://doi.org/10.1007/s10817-018-9455-7
ER  -