蔡少伟;李伯翰;张新迪 可满足模整数算术理论的局部搜索。 (英语) Zbl 07760993号 ACM事务处理。计算。日志。 24,第4号,第32号论文,第26页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Cai}等人,ACM Trans。计算。日志。24,第4号,第32号论文,第26页(2023;Zbl 07760993) 全文: 内政部 arXiv公司
蔡少伟;李伯翰;张新迪 基于线性整数算法的SMT局部搜索。 (英语) Zbl 1514.68273号 Shoham,Sharon(编辑)等人,《计算机辅助验证》。第34届国际会议,CAV 2022,以色列海法,2022年8月7日至10日。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。13372, 227-248 (2022).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Cai}等人,Lect。注释计算。科学。13372,227--248(2022;Zbl 1514.68273) 全文: 内政部
米歇尔,L。;P.绍斯。;Van Hentenryck,P。 MiniCP:用于约束编程的轻量级解算器。 (英语) Zbl 1480.90231号 数学。程序。计算。 第133-184号第13页(2021).MSC公司:90立方 PDF格式BibTeX公司 XML格式引用 \textit{L.Michel}等人,数学。程序。计算。13,编号1,133--184(2021;Zbl 1480.90231) 全文: 内政部
Chen,Qian Matteo先生;阿尔贝托·芬齐;托尼·曼奇尼;伊戈尔·梅拉蒂;恩里科·特隆西 MILP、伪布尔和OMT解算器,用于任务关键型无线网络中中继节点的最佳容错放置。 (英语) Zbl 1496.68300号 芬丹。通知。 174,编号3-4,229-258(2020).MSC公司:68T20型 90B18号机组 PDF格式BibTeX公司 XML格式引用 \textit{Q.M.Chen}等人,Fundam。通知。174,编号3--4,229--258(2020;Zbl 1496.68300) 全文: 内政部 arXiv公司
米歇尔,L。;Van Hentenryck,P。 用于约束编程的微内核体系结构。 (英语) 兹比尔139090520 约束条件 22,第2期,107-151(2017).MSC公司:90立方 90-04 PDF格式BibTeX公司 XML格式引用 \textit{L.Michel}和\textit{P.Van Hentenryck},《约束》22,第2期,第107--151页(2017;Zbl 1390.90520) 全文: 内政部 arXiv公司
马克西姆·希什马雷夫;克里斯托弗·米尔斯;塔克,吉多;玛丽亚·加西亚·德拉班达 可视化搜索树分析。 (英语) Zbl 1334.90170号 约束条件 21,第1期,77-94(2016).MSC公司:90立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Shishmarev}等人,《约束21》,第1期,第77-94页(2016年;Zbl 1334.90170) 全文: 内政部
古斯塔夫·比约达尔;珍妮·诺埃尔·莫内特;皮埃尔·弗莱纳;贾斯汀·皮尔逊 MiniZin的基于约束的本地搜索后端。 (英语) Zbl 1325.90076号 约束条件 20,第3期,325-345(2015).MSC公司:90C27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Björdal}et al.,Constraints 20,No.3,325--345(2015;Zbl 1325.90076) 全文: 内政部