×

找到17个文档(结果1-17)

符号QBF推理的证明复杂性。 (英语) Zbl 07495588号

Li,Chu-Min(编辑)等,《满意度测试的理论和应用——SAT 2021》。第24届国际会议,西班牙巴塞罗那,2021年7月5日至9日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。第12831页,第399-416页(2021年)。
PDF格式BibTeX公司 XML格式引用

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

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

学习在量化布尔公式的推理中集成演绎和搜索。 (英语) Zbl 1193.68214号

Ghilardi,Silvio(编辑)等人,《组合系统的前沿》。第七届国际研讨会,FroCoS 2009,意大利特伦托,2009年9月16-18日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04221-8/pbk)。计算机科学课堂讲稿5749。人工智能课堂讲稿,350-365(2009)。
MSC公司:68T05型 第68页第15页 68T20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段

全部的 前3名

软件