爱德华·兰姆;盖伊,德索尼尔斯;彼得·斯塔基。 电动汽车路径问题的分支与降价,包括时间窗、分段充电和容量受限充电站。 (英语) Zbl 1520.90041号 计算。操作。物件。 145,文章ID 105870,16 p.(2022).MSC公司:90B06型 90B35型 90C57型 PDF格式BibTeX公司 XML格式引用 \textit{E.Lam}等人,计算。操作。第145号决议,文章编号105870,16页(2022;Zbl 1520.90041) 全文: 内政部
埃德·罗宾斯;安迪·金;雅各布·M·豪。 后跳是一种异常处理。 (英语) Zbl 1472.68028号 理论与实践。日志。程序。 21,第2期,125-144(2021).MSC公司:68N17号 05C15号 68T05型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Robbins}等人,《理论与实践》。日志。程序。21,编号2,125--144(2021;Zbl 1472.68028) 全文: 内政部 arXiv公司
洛伦兹,简·亨德里克;弗洛里安·沃兹 学习子句对随机局部搜索的影响。 (英语) Zbl 07331014号 Pulina,Luca(编辑)等人,《可满足性测试的理论和应用——SAT 2020》。第23届国际会议,意大利阿尔盖罗,2020年7月3日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12178, 89-106 (2020).MSC公司:65年第68季度 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.-H.Lorenz}和\textit{F.Wörz},莱克特。注释计算。科学。12178,89-106(2020;Zbl 07331014) 全文: 内政部 arXiv公司
李楚敏;肖,范;罗,毛;很多,费利普;吕志鹏;李、余 CDCL SAT解算器中通过单位传播实现子句生动化。 (英语) Zbl 1478.68325号 Artif公司。因特尔。 279,文章ID 103197,23 p.(2020).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.-M.Li}等人,Artif。因特尔。279,文章ID 103197,第23页(2020;Zbl 1478.68325) 全文: 内政部 arXiv公司
汤姆·佩特尔;弗里德里希·斯利沃夫斯基;斯泽德,斯特凡 QBF的依赖性学习。 (英语) Zbl 1477.68293号 J.阿蒂夫。因特尔。研究(JAIR) 2018年6月65日(2019年).MSC公司:68T20型 03英尺20英寸 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{T.Peitl}等人,J.Artif。因特尔。研究(JAIR)65,181--208(2019;Zbl 1477.68293) 全文: 内政部
约翰·斯莱尼;布鲁诺沃尔岑洛格尔古 冲突解决:一种具有决策文字和冲突驱动子句学习的一阶解决演算。 (英语) Zbl 1425.68379号 J.汽车。推理 60,第2期,133-156(2018).MSC公司:68吨15 03B35型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Slaney}和\textit{B.Woltzenogel古},J.Autom。推理60,No.2,133--156(2018;Zbl 1425.68379) 全文: 内政部 arXiv公司
玛丽亚·保拉(Maria Paola Bonacina);David A.Plaisted。 语义引导的目标敏感推理:推理系统和完整性。 (英语) Zbl 1437.68189号 J.汽车。推理 59,第2期,165-218(2017).MSC公司:68伏15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Bonacina}和\textit{D.A.Plaisted},J.Autom。推理59,No.2,165--218(2017;Zbl 1437.68189) 全文: 内政部
罗伯托·阿斯因;马克·贝泽姆;罗伯特·纽文胡斯 通过将边界的析取表示为线性约束来改进IntSat。 (英语) Zbl 1373.68370号 AI通讯。 29,第1期,205-209(2016).MSC公司:68T20型 68T05型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.Asín}等人,AI Commun。29,第1号,205-209(2016;Zbl 1373.68370) 全文: 内政部
Samuel R.巴斯。;Leszek Alek的Kolodziejczyk 水池里的小石头。 (英语) Zbl 1336.03019号 日志。计算方法。科学。 10,第2号,第16号论文,22页(2014年).MSC公司:03B35型 03B05号 03英尺20英寸 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{S.R.Buss}和\textit{L.A.Kolodziejczyk},日志。方法计算。科学。10,第2号,第16号论文,22页(2014;Zbl 1336.03019) 全文: 内政部 arXiv公司
维杰·德·席尔瓦;利奥波德·哈勒;丹尼尔·克罗宁 抽象冲突驱动学习。 (英语) Zbl 1301.68156号 2013年1月23日至25日在意大利罗马举行的第40届ACM SIGPLAN-SIGACT编程语言原则年度研讨会会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1832-7)。143-154 (2013).MSC公司:65年第68季度 06B99号 68号30 60年第68季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{V.D'Silva}等人,in:第40届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集,POPL’13,意大利罗马,2013年1月23日至25日。纽约州纽约市:计算机协会(ACM)。143--154(2013;Zbl 1301.68156) 全文: 内政部
托马斯·艾特;迈克尔·芬克;克伦沃尔纳,托马斯;克里斯托夫·雷德尔 与外部源冲突驱动的ASP解决方案。 (英语) Zbl 1260.68060号 理论与实践。日志。程序。 12,编号4-5,659-679(2012).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人,《理论与实践》。日志。程序。12、编号4--5、659--679(2012;Zbl 1260.68060) 全文: 内政部 arXiv公司
卡里姆·A·萨卡拉。;若昂·西尔瓦侯爵 现代SAT解题器的解剖和实证评估。 (英语) Zbl 1258.68137号 牛市。欧洲协会。计算。科学。EATCS公司 103, 95-121 (2011).MSC公司:68T20型 2017年第68季度 68问题32 PDF格式BibTeX公司 XML格式引用 \textit{K.A.Sakallah}和\textit{J.Marques-Silva},公牛。欧洲协会。计算。科学。EATCS 103,95-121(2011;Zbl 1258.68137)