@第{zbMATH07112681条，作者={李，庄和刘，雷和L｛\“u｝，帅和任，军旗｝，Title={使用膜演算描述带有子句学习的{DPLL}算法}，FJournal={哈尔滨工程大学学报}，期刊={哈尔滨工程大学}，ISSN={1006-7043}，体积={40}，数字={4}，页码={799--804}，年份={2019}，语言={中文}，DOI={10.11990/jheu.201709122}，关键词={68T05,68Q07,68T20}，zbMATH＝{7112681}，Zbl={1438.68102}}