@article{Blanchette_2018,
    doi = {10.1007/s10817-018-9455-7},
    url = {https://doi.org/10.1007%2Fs10817-018-9455-7},
    year = {2018},
    month = {mar},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {61},
    number = {1-4},
    pages = {333--365},
    author = {Jasmin Christian Blanchette and Mathias Fleury and Peter Lammich and Christoph Weidenbach},
    title = {A Verified {SAT} Solver Framework with Learn, Forget, Restart, and Incrementality},
    journal = {Journal of Automated Reasoning}
}

@article{Blanchette_2018, doi = {10.1007/s10817-018-9455-7}, url = {https://doi.org/10.1007%2Fs10817-018-9455-7}, year = {2018}, month = {mar}, publisher = {Springer Science and Business Media {LLC}}, volume = {61}, number = {1-4}, pages = {333--365}, author = {Jasmin Christian Blanchette and Mathias Fleury and Peter Lammich and Christoph Weidenbach}, title = {A Verified {SAT} Solver Framework with Learn, Forget, Restart, and Incrementality}, journal = {Journal of Automated Reasoning} }