伊娜拉、杰埃瓦娜·普利亚；罗希特·辛格；阿曼多·索拉勒扎马 位矢量解算器专用域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。票据计算。科学。9710，302-320（2016；Zbl 1475.68439） 全文： 内政部 链接
Christoph M.温特斯泰格。；尤塞夫·哈马迪；莱昂纳多·德·莫拉 有效求解量化位向量公式。 （英语） Zbl 1284.03212号 形式方法系统。设计。 42，第1期，3-23（2013）.MSC公司：03B70号 第68季度第60季度 68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.M.Wintersteiger}等人，《形式方法系统》。设计。42，第1号，第3--23号（2013；Zbl 1284.03212） 全文： 内政部