伊娜拉、杰埃瓦娜·普利亚;罗希特·辛格;Solar Lezama,阿曼多 位矢量解算器专用域CNF编码器的合成。 (英语) Zbl 1475.68439号 Creignou,Nadia(编辑)等人,《满意度测试的理论和应用——2016年SAT》。第19届国际会议,法国波尔多,2016年7月5-8日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9710, 302-320 (2016).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Inala}等人,Lect。注释计算。科学。9710302-320(2016年;兹比尔1475.68439) 全文: 内政部 链接
沃伊切赫·贾姆罗加;沃伊切赫·彭泽克 多代理系统的规范和验证。 (英语) Zbl 1250.68190号 Nick Bezhanishvili等人,《逻辑和计算讲座》。ESSLLI 2010年丹麦哥本哈根,2010年8月,ESSLLI2011年,斯洛文尼亚卢布尔雅那,2011年8月。精选课堂讲稿。柏林:施普林格出版社(ISBN 978-3-642-31484-1/pbk)。计算机科学课堂讲稿7388,210-263(2012)。MSC公司:第68季度第60季度 03B45号 68T27型 68T42型 91A99型 91B14号机组 PDF格式BibTeX公司 XML格式引用 \textit{W.Jamroga}和\textit{W.Penczek},莱克特。注释计算。科学。7388210-263(2012年;兹比尔1250.68190) 全文: 内政部