@inproceedings{BlanchetteIJCAI2017,
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.24963/ijcai.2017/667},
PUBLISHER = {International Joint Conferences on Artificial Intelligence},
YEAR = {2017},
BOOKTITLE = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI 2017)},
EDITOR = {Sierra, Carles},
PAGES = {4786--4790},
ADDRESS = {Melbourne, Australia},
}