@inproceedings{BlanchetteIJCAR2016,
TITLE = {A Verified {SAT} Solver Framework with Learn, Forget, Restart, and Incrementality},
AUTHOR = {Blanchette, Jasmin Christian and Fleury, Mathias and Weidenbach, Christoph},
LANGUAGE = {eng},
ISBN = {978-3-319-40228-4},
DOI = {10.1007/978-3-319-40229-1_4},
PUBLISHER = {Springer},
YEAR = {2016},
DATE = {2016},
BOOKTITLE = {Automated Reasoning (IJCAR 2016)},
EDITOR = {Olivetti, Nicola and Tiwari, Ashish},
PAGES = {25--44},
SERIES = {Lecture Notes in Artificial Intelligence},
VOLUME = {9706},
ADDRESS = {Coimbra, Portugal},
}