×

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

关于答案集和SAT程序之间的关系(或CMODELS和SMODELS之间的关系)。 (英语) Zbl 1165.68488号

Gabbrielli,Maurizio(编辑)等人,《逻辑编程》。2005年10月2日至5日在西班牙西奇举行的第21届国际会议,ICLP 2005。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29208-X/pbk)。计算机科学课堂讲稿3668,37-51(2005)。
MSC公司:68T20型 68N17号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一种基于SAT的差分约束布尔组合决策过程。 (英语) Zbl 1122.68583号

Hoos,Holger H.(编辑)等,可满足性测试的理论和应用。2004年5月10日至13日,加拿大不列颠哥伦比亚省温哥华市,2004年SAT第七届国际会议。修改选定的论文。柏林:施普林格出版社(ISBN 3-540-27829-X/pbk)。计算机科学课堂讲稿3542,16-29(2005)。
MSC公司:68T20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段