@inproceedings{DBLP:conf/lpar/FleuryW20,
TITLE = {A Verified {SAT} Solver Framework including Optimization and Partial Valuations},
AUTHOR = {Fleury, Mathias and Weidenbach, Christoph},
LANGUAGE = {eng},
ISSN = {2040-557X},
DOI = {10.29007/96wb},
PUBLISHER = {EasyChair},
YEAR = {2021},
BOOKTITLE = {LPAR-23, 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
EDITOR = {Albert, Elvira and Kov{\'a}cs, Laura},
PAGES = {212--229},
SERIES = {EasyChair Proceedings in Computing},
VOLUME = {73},
ADDRESS = {Virtual Conferernce},
}