@第{zbMATH06344006条，作者={Barto，Libor and Kozik，Marcin}，标题={可通过局部一致性方法解决的约束满足问题}，FJournal={ACM杂志}，期刊={J.ACM}，ISSN={0004-5411}，体积={61}，数字={1}，页码={19}，注={Id/No 3}，年份={2014}，语言={英语}，DOI={10.1145/2556646}，关键词={68Q25,68T20}，zbMATH={6344006}，Zbl={1295.68126}}