卡洛斯·安索特吉;何塞·拉鲁比亚;李楚敏;很多,费利普 在SAT求解器的变量选择启发式中利用多值知识。 (英语) Zbl 1124.68102号 安。数学。Artif公司。智力。 49,编号1-4191-205(2007).MSC公司:68T20型 03B50 PDF格式BibTeX公司 XML格式引用 \textit{C.Ansótegui}等人,《数学年鉴》。Artif公司。智力。49,编号1--4,191-205(2007;Zbl 1124.68102) 全文: 内政部
罗伊·齐万;Amnon Meisels公司 消息延迟和DisCSP搜索算法。 (英语) Zbl 1107.68106号 安。数学。Artif公司。智力。 46,第4期,415-439(2006).MSC公司:68T20型 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{R.Zivan}和\textit{A.Meisels},Ann。数学。Artif公司。智力。46,第4号,415--439(2006;Zbl 1107.68106) 全文: 内政部