@第{zbMATH07153711条，作者=｛Li，Chu Min和Xiao，Fan和Luo，Mao和Many｛\`a｝，Felip和L｛\“u｝，Zhippeng和Li，Yu｝，标题={在{CDCL}{SAT}解算器}中通过单位传播实现子句生动化，FJournal={人工智能}，日志={Artif.Intern.}，ISSN={0004-3702}，体积={279}，页码={23}，注={Id/No 103197}，年份={2020年}，语言={英语}，DOI={10.1016/j.artint.2019.103197}，关键词={68T20}，zbMATH={7153711}，Zbl={1478.68325}}