托马斯·德拉斯克;汤姆·沃纳;西蒙·德·吉夫里 加权CSP的超参数化:属性和优化视角。 (英语) 兹伯利07738741 约束条件 28,编号2,277-319(2023).MSC公司:68季度xx 90立方厘米 68泰克 PDF格式BibTeX公司 XML格式引用 \textit{T.Dlask}等人,约束28,No.2,277--319(2023;Zbl 07738741) 全文: 内政部 arXiv公司
尤金·弗洛伊德。 圣杯的进展。 (英语) Zbl 1402.90178号 约束条件 23,第2期,158-171(2018).MSC公司:90立方 PDF格式BibTeX公司 XML格式引用 \textit{E.C.Freuder},约束23,No.2,158--171(2018;Zbl 1402.90178) 全文: 内政部
埃里克·格雷戈里;Jean-Marie拉格尼茨;贝特朗·马祖尔 关于去除MUC查找算法中的预处理最小化步骤。 (英语) 兹比尔1329.90151 约束条件 20,第4期,414-432(2015).MSC公司:90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{E.Grégoire}等人,约束20,No.4,414--432(2015;Zbl 1329.90151) 全文: 内政部
马克·利菲顿;马赫·姆奈姆;林奇,因斯;扎赫·安德劳斯;佐奥·西尔瓦侯爵;卡伦·萨卡拉 提取最小最小不可满足子公式的分枝定界算法。 (英语) Zbl 1181.90291号 约束条件 14,第4期,415-442(2009年).MSC公司:90C57型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Liffiton}等人,《限制条件》14,第4期,415--442(2009;Zbl 1181.90291) 全文: 内政部
埃里克·格雷戈里;贝特朗·马祖尔;塞德里克馅饼 mUS的局部搜索提取。 (英语) Zbl 1211.90307号 约束条件 12,第3期,325-344(2007).MSC公司:90 C59 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Grégoire}等人,约束12,No.3,325--344(2007;Zbl 1211.90307) 全文: 内政部