Blanchette et al. "A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality." International Joint Conference on Artificial Intelligence, 2017. doi:10.24963/IJCAI.2017/667
Markdown
[Blanchette et al. "A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality." International Joint Conference on Artificial Intelligence, 2017.](https://mlanthology.org/ijcai/2017/blanchette2017ijcai-verified/) doi:10.24963/IJCAI.2017/667
BibTeX
@inproceedings{blanchette2017ijcai-verified,
title = {{A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality}},
author = {Blanchette, Jasmin Christian and Fleury, Mathias and Weidenbach, Christoph},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2017},
pages = {4786-4790},
doi = {10.24963/IJCAI.2017/667},
url = {https://mlanthology.org/ijcai/2017/blanchette2017ijcai-verified/}
}