@第{zbMATH00146354条，作者={Van Hentenryck，Pascal and Simonis，Helmut and Dincbas，Mehmet}，标题＝{使用约束逻辑编程的约束满足}，FJournal={人工智能}，日志={Artif.Intern.}，ISSN={0004-3702}，体积={58}，数字={1-3}，页码={113--159}，年份={1992年}，语言={英语}，DOI={10.1016/0004-3702（92）90006-J}，关键词={68N17,90C27,68T99}，zbMATH={146354}，Zbl={0782.68028}}