李维·阿布鲁(Levi R.Abreu)。;布鲁诺·A·普拉塔。;Marcelo S.长野。;Jose M.弗拉米南。 一种基于约束规划的迭代贪婪算法,用于具有序列相关加工时间和最大完工时间最小化的开放式车间。 (英语) Zbl 07764423号 计算。操作。物件。 160,文章ID 106386,12 p.(2023).MSC公司:900亿 PDF格式BibTeX公司 XML格式引用 \textit{L.R.Abreu}等人,计算。操作。第160号决议,文章ID 106386,12页(2023;Zbl 07764423) 全文: 内政部
罗伯托·塞巴斯蒂安;帕特里克·特伦丁 优化数学卫星:优化模理论的工具。 (英语) 兹比尔1468.68206 J.自动化。推理 64,第3号,423-460(2020).MSC公司:68T20型 90C29型 PDF格式BibTeX公司 XML格式引用 \textit{R.Sebastiani}和\textit{P.Trentin},J.Autom。推理64,No.3,423--460(2020;Zbl 1468.68206) 全文: 内政部
亚历山大·希恩多夫;亚历山大·纳普;杰里特·安德斯;沃尔夫冈·雷夫 MiniBrass:MiniZinc的软约束。 (英语) Zbl 1430.90525号 约束条件 23,第4号,403-450(2018).MSC公司:90立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Schiendorfer}等人,约束23,No.4,403--450(2018;Zbl 1430.90525) 全文: 内政部 链接
卡洛斯·安索特吉;乔尔·加布;约尔迪·利维 在基于SAT的maxsat算法中开发子问题优化。 (英语) Zbl 1360.90313号 J.启发式 22,第1期,1-53页(2016年).MSC公司:90C60型 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{C.Ansótegui}等人,《启发式22》,第1期,第1-53期(2016年;Zbl 1360.90313) 全文: 内政部
卡洛斯·安索特吉;米克尔波菲尔;米克尔帕拉西;约塞普·苏伊;马图·维拉雷特 通过重新表述为可满足性模理论来解决具有元约束的加权CSP。 (英语) Zbl 1309.90083号 约束条件 18,第2期,236-268(2013).MSC公司:90C27型 PDF格式BibTeX公司 XML格式引用 \textit{C.Ansótegui}等人,约束18,No.2,236--268(2013;Zbl 1309.90083) 全文: 内政部