@inproceedings{ijcai2017p667, author = {Jasmin Christian Blanchette and Mathias Fleury and Christoph Weidenbach}, title = {A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality}, booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI-17}}, pages = {4786--4790}, year = {2017}, doi = {10.24963/ijcai.2017/667}, url = {https://doi.org/10.24963/ijcai.2017/667}, }