优素福·哈马迪;萨伊德·贾布尔;拉赫达尔·塞伊斯 我们可以从命题可满足性的冲突中学到什么。 (英语) Zbl 1411.91118号 安·Oper。物件。 240,第1期,13-37(2016).MSC公司:91A26型 68瓦30 2009年9月90日 91-04 PDF格式BibTeX公司 XML格式引用 \textit{Y.Hamadi}等人,Ann.Oper。第240号决议,第1号,第13-37号(2016年;Zbl 1411.91118) 全文: DOI程序
Achá,Roberto Asín;罗伯特·纽文胡斯 SAT和MaxSAT基于课程的课程时间表。 (英语) Zbl 1301.90023号 安·Oper。物件。 218, 71-91 (2014).MSC公司:90B35型 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Achá}和\textit{R.Nieuwenhuis},Ann.Oper。第218号决议、第71-91号决议(2014年;Zbl 1301.90023) 全文: DOI程序
哈德良坎巴扎德;埃曼纽尔·希伯拉德;巴里·奥沙利文 基于岗位注册的课程时间表问题的局部搜索和约束编程。 (英语) Zbl 1251.90120号 安·Oper。物件。 194111-135(2012年).MSC公司:90B35型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{H.Cambazard}等人,Ann.Oper。第194、111--135号决议(2012年;Zbl 1251.90120) 全文: DOI程序
安德烈·霍巴赫 资源约束项目调度问题的布尔可满足性方法。 (英语) Zbl 1209.90170号 安·Oper。物件。 181, 89-107 (2010).MSC公司:90B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Horbach},Ann.Oper。第181号、第89-107号决议(2010年;Zbl 1209.90170) 全文: DOI程序 链接
理查德·科尔夫(Richard E.Korf)。;迈克尔·D·莫菲特。;Martha E.Pollack。 最佳矩形包装。 (英语) Zbl 1201.90172号 安·Oper。物件。 179, 261-295 (2010).MSC公司:90C27型 PDF格式BibTeX公司 XML格式引用 \textit{R.E.Korf}等人,Ann.Oper。第179、261--295号决议(2010年;Zbl 1201.90172) 全文: DOI程序
卡拉·戈麦斯。;大卫·B·什莫伊斯。 近似和随机化以提高CSP技术。 (英语) Zbl 1062.90033号 安·Oper。物件。 130, 117-141 (2004).MSC公司:90C05(二氧化碳) 90 C59 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{C.P.Gomes}和\textit{D.B.Shmoys},Ann.Oper。第130、117--141号决议(2004年;Zbl 1062.90033) 全文: DOI程序
史蒂文·普雷斯特维奇 线性伪布尔问题的不完全动态回溯。 (英语) Zbl 1156.90416号 安·Oper。物件。 130, 57-73 (2004).MSC公司:2009年9月90日 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Prestwich},Ann.Oper。第130号决议、第57-73号决议(2004年;Zbl 1156.90416) 全文: DOI程序
普雷斯特维奇,S。 建模技术对搜索性能的负面影响。 (英语) Zbl 1026.90109号 安·Oper。物件。 118, 137-150 (2003).MSC公司:90 C90 68页第10页 90B90型 PDF格式BibTeX公司 XML格式引用 \textit{S.Prestwich},Ann.Oper。第118、137-150号决议(2003年;Zbl 1026.90109) 全文: DOI程序