@第{zbMATH07407471条，作者={Hoi，Gordon和Stephan，Frank}，Title={一般精确可满足性问题的改进算法}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积＝{889}，页码={60--84}，年份={2021}，语言={英语}，DOI={10.1016/j.tcs.2021.07.036}，关键词={68R07,68W05,68W40}，zbMATH={7407471}，Zbl={1514.68194}}