×

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

位矢量解算器专用域CNF编码器的合成。 (英语) Zbl 1475.68439号

Creignou,Nadia(编辑)等人,《满意度测试的理论和应用——2016年SAT》。第19届国际会议,法国波尔多,2016年7月5-8日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9710, 302-320 (2016).
MSC公司:68伏15
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

多代理系统的规范和验证。 (英语) Zbl 1250.68190号

Nick Bezhanishvili等人,《逻辑和计算讲座》。ESSLLI 2010年丹麦哥本哈根,2010年8月,ESSLLI2011年,斯洛文尼亚卢布尔雅那,2011年8月。精选课堂讲稿。柏林:施普林格出版社(ISBN 978-3-642-31484-1/pbk)。计算机科学课堂讲稿7388,210-263(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

出版年份

主字段