@第{zbMATH06389809条，作者={Ans{\'o}tegui，Carlos and Bofill，Miquel and Palah{\'{i}}，Miquele and Suy，Josep and Villaret，Mateu}，Title={用元约束求解加权{CSPs}，方法是将其转化为可满足模理论}，FJournal={约束}，Journal＝｛Constraints｝，ISSN={1383-7133}，体积={18}，数字={2}，页码={236--268}，年份={2013}，语言={英语}，DOI={10.1007/s10601-012-9131-1}，关键词={90C27}，zbMATH={6389809}，Zbl={1309.90083}}