@第{zbMATH07215469条，作者={Karve，Vaibhav和Hirani，Anil N.}，Title={支持不可满足2-{CNFs}}的最小简单图的完整集，FJournal={离散应用数学}，日志={离散应用数学}，ISSN={0166-218X}，体积={283}，页码={123--132}，年份={2020年}，语言={英语}，DOI={10.1016/j.dam.2019.12.017}，关键词={05C83,03B05}，zbMATH={7215469}，Zbl=｛1442.05217｝}