卢卡·普利纳;阿曼多·塔切拉 学习在量化布尔公式的推理中集成演绎和搜索。 (英语) 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格式引用 \textit{L.Pulina}和\textit{A.Taccella},莱克特。注释计算。科学。5749350-365(2009年;Zbl 1193.68214) 全文: 内政部
卢卡·普利纳;阿曼多·塔切拉 一种用于量化布尔公式的自适应多引擎求解器。 (英语) Zbl 1183.68589号 约束条件 14,第1期,80-116(2009).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{L.Pulina}和\textit{A.Tacchella},《限制条件》14,第1期,80-116(2009;Zbl 1183.68589) 全文: 内政部