×

找到12个文档（结果1-12）

最新的 引文 关联
阿戈斯蒂诺·多维尔;安德烈亚·福米萨诺;古普塔，戈帕尔;曼努埃尔五世（Manuel V.Hermenegildo）。;恩里科·蓬泰利;里卡多·罗查

并行逻辑编程：续集。 （英语） Zbl 07776352号

理论与实践。日志。程序。 22，第6期，905-973（2022）.
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{A.Dovier}等人，《理论与实践》。日志。程序。22，第6号，905--973（2022；Zbl 07776352）
全文： 内政部 arXiv公司
尼古拉奇，姆拉登;Marinković，韦斯纳;佐尔坦科瓦奇;贾尼契奇，普雷德拉格

几何投资组合定理证明和证明程序运行时预测。 （英语） Zbl 1431.68123号

安。数学。Artif公司。智力。 85，编号2-4，119-146（2019）.
MSC公司：68伏15 2004年5月5日 68T05型 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{M.Nikolić}等人，《数学年鉴》。Artif公司。智力。85，编号2--4，119-146（2019；Zbl 1431.68123）
全文： 内政部
吉尔·奥德玛;洛朗·西蒙

SAT问题中的极端情况。 （英语） Zbl 1475.68333号

Creignou，Nadia（编辑）等人，《满意度测试的理论和应用——2016年SAT》。第19届国际会议，法国波尔多，2016年7月5-8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9710, 87-103 (2016).
MSC公司：68T20型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{G.Audemard}和\textit{L.Simon}，莱克特。注释计算。科学。9710，87-103（2016；Zbl 1475.68333）
全文： 内政部
伯恩德·比施尔;帕斯卡·科尔斯克;拉尔斯·科特霍夫;马吕斯·林道尔;尤里·马利茨基;亚历山大·弗雷谢特;霍尔格·胡斯;弗兰克·哈特;莱顿·布朗，凯文;凯文·蒂尔尼;华金·范肖伦

ASlib：一个用于算法选择的基准库。 （英语） 兹比尔1357.68202

Artif公司。智力。 237, 41-58 (2016).
MSC公司：68T20型 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{B.Bischl}等人，Artif。智力。237、41-58（2016；Zbl 1357.68202）
全文： 内政部 arXiv公司
罗伯托·阿马迪尼;毛里齐奥·加布里埃利;雅各布·毛罗

为什么CP投资组合解决方案被（不足）利用？问题和挑战。 （英语） Zbl 1473.68184号

Falaschi，Moreno（编辑），基于逻辑的程序合成和转换。2015年7月13日至15日在意大利锡耶纳举行的2015年LOPSTR第25届国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9527, 349-364 (2015).
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{R.Amadini}等人，Lect。注释计算。科学。9527349-364（2015年；兹比尔1473.68184）
全文： 内政部 哈尔

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件