@技术报告{FleuryBiere-FMV-TR-21-3，author={Mathias Fleury和Armin Biere}，title={有效的All-UIP学习子句最小化（扩展版本）}，数字={21/3}，日期={2021年5月}，机构＝{约翰内斯·开普勒大学林茨}，address＝｛FMV报告系列，正式模型和验证，约翰内斯·开普勒大学，阿尔滕贝格斯特。69,奥地利林茨4040号}，年份={2021}，doi={10.350/fmvtr.2021-3}，url={https://doi.org/10.350/fmvtr.2021-3}，}