@进行中{FleuryWeidenbach-LPAR23，author={Mathias Fleury和Christoph Weidenbach}，title={一个经过验证的SAT求解器框架，包括优化和部分估值}，booktitle={LPAR23。LPAR-23：第23届国际程序设计、人工智能和推理逻辑会议}，editor={Elvira Albert和Laura Kovacs}，series={计算中的EPiC系列}，体积={73}，页码={212--229}，年份={2020年}，publisher={EasyChair}，bibsource={EasyChair，https://EasyChair.org}，issn={2398-7340}，url={https://easychair.org/publications/paper/b7Cr}，doi={10.29007/96wb}}