×

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

DPLL:现代可满足性求解器的核心。 (英语) Zbl 1439.68026号

Omodeo、Eugenio G.(编辑)等,马丁·戴维斯,关于可计算性、计算逻辑和数学基础。查姆:施普林格。Outst公司。控制日志。10,315-335(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

十大挑战红色命题推理和搜索的最新进展。 (英语) Zbl 1273.68350号

Rossi,Francesca(编辑),约束编程的原理和实践–CP 2003。2003年9月29日至10月3日,第九届国际会议,CP 2003,爱尔兰金赛尔。诉讼程序。柏林:施普林格出版社(ISBN 3-540-20202-1/pbk)。莱克特。注释计算。科学。2833, 1-18 (2003).
MSC公司:68T20型 68吨15 68-02
PDF格式BibTeX公司 XML格式引用
全文: 内政部

组合搜索中重尾行为的形式化模型。 (英语) Zbl 1067.68620号

Walsh,Toby(编辑),约束编程的原理和实践-CP 2001。第七届国际会议,2001年11月26日至12月1日,塞浦路斯帕福斯。诉讼程序。柏林:施普林格出版社(ISBN 3-540-42863-1)。莱克特。注释计算。科学。2239, 408-421 (2001).
MSC公司:68T20型
PDF格式BibTeX公司 XML格式引用
全文: 链接

筛选结果依据…

文档类型

出版年份

主字段

全部的 前3名

软件