@收款{zbMATH07223703，作者={Arif、Umair和Benkoczi、Robert和Gaur、Daya Ram和Krishnamurti、Ramesh}，Title={关于最小可满足性问题}，BookTitle={算法与离散应用数学。第六届国际会议，CALDAM 2020，印度海得拉巴，2020年2月13-15日。诉讼}，国际标准图书编号={978-3-030-39218-5；978-3-0.30-39219-2}，页码={269--281}，年份={2020}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-39219-2_23}，关键词={68R07,68W25}，zbMATH＝{7223703}，Zbl={1453.68115}}