卡里桑,扬尼克;丹尼斯·哈格鲍姆·赖格尼尔;尼古拉斯·普尔科维奇;西里尔·特里奥克斯;阿德里安·瓦雷特 约束编程如何帮助化学家生成苯系物结构并评估苯系物的局部芳香性。 (英语) Zbl 1498.92327号 约束条件 27,第3期,192-248(2022).MSC公司:92E10型 05C92年 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{Y.Carissan}等人,约束27,No.3,192--248(2022;Zbl 1498.92327) 全文: 内政部 链接
法滕·纳布利;蒂埃里·马丁内斯;弗朗索瓦·法赫斯;西尔万·索利曼 关于使用CLP和SAT解算器枚举Petri网中的最小信标:理论和实践复杂性。 (英语) Zbl 1336.92031号 约束条件 21,第2期,251-276(2016).MSC公司:第92页第42页 05C90年 PDF格式BibTeX公司 XML格式引用 \textit{F.Nabli}等人,约束21,No.2,251--276(2016;Zbl 1336.92031) 全文: 内政部 哈尔
达瓦策伦·巴塔;娜塔希亚·博兰德;布兰德,塞巴斯蒂安;彼得·斯图基(Peter J.Stuckey)。 CP和IP方法用于优化癌症放射治疗的实施。 (英语) Zbl 1213.90271号 约束条件 16,第2期,173-194(2011).MSC公司:90 C90 90C57型 92 C50 PDF格式BibTeX公司 XML格式引用 \textit{D.Baatar}等人,《约束16》,第2期,173--194(2011;Zbl 1213.90271) 全文: 内政部
佩德罗·巴拉奥纳;路德维希·克里帕尔 结构生物信息学中的约束编程。 (英语) Zbl 1144.92011年 约束条件 13,编号1-2,3-20(2008).MSC公司:92C40型 92-08 68单位99 90 C90 PDF格式BibTeX公司 XML格式引用 \textit{P.Barahona}和\textit{L.Krippahl},约束13,No.1--2,3--20(2008;Zbl 1144.92011) 全文: 内政部
林奇,因斯;佐奥·西尔瓦侯爵;史蒂夫·普雷斯特维奇 通过局部搜索促进单倍型推断。 (英语) Zbl 1142.92030 约束条件 13,编号1-2,155-179(2008).MSC公司:92D10型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{I.Lynge}等人,《限制条件13》,编号1--2,155-179(2008;Zbl 1142.92030) 全文: 内政部 链接
卢卡·博托卢西;阿尔贝托,Policriti 在随机并发约束规划中建模生物系统。 (英语) Zbl 1144.92001号 约束条件 13,编号1-2,66-90(2008).MSC公司:92B05型 90 C90 68单位99 92-08 PDF格式BibTeX公司 XML格式引用 \textit{L.Bortolussi}和\textit{A.Policriti},约束13,No.1--2,66-90(2008;Zbl 1144.92001) 全文: 内政部
马蒂亚斯·兹特尼基;克里斯汀·加斯平;托马斯·希克斯 该死!RNA模体定位的加权约束求解器。 (英语) Zbl 1142.92015年 约束条件 13,编号1-2,91-109(2008).MSC公司:92C40型 92-08 68周05 92立方37 PDF格式BibTeX公司 XML格式引用 \textit{M.Zytnicki}等人,《限制条件13》,第1-2、91-109号(2008年;Zbl 1142.92015) 全文: 内政部
桑切斯,马蒂;西蒙·德·吉夫里;托马斯·希克斯 使用加权约束满足技术检测复杂家系中的孟德尔错误。 (英语) Zbl 1144.92324号 约束条件 13,编号1-2,130-154(2008).MSC公司:92D10型 68单位99 92D15型 PDF格式BibTeX公司 XML格式引用 \textit{M.Sanchez}等人,《约束条件》13,编号1--2,130-154(2008;Zbl 1144.92324) 全文: 内政部