冈萨洛·伊玛兹（Gonzalo E.Imaz）。 多值逻辑中的第一个多项式非子句类。 （英语） Zbl 1522.03099号 模糊集系统。 456, 1-37 (2023).MSC公司：03B70号 03B52号 68T27型 68层37 PDF格式BibTeX公司 XML格式引用 \textit｛G.E.Imaz｝，模糊集系统。456，1-37（2023年；兹比尔1522.03099） 全文： 内政部 arXiv公司
冈萨洛·伊玛兹（Gonzalo E.Imaz）。 可能的Horn非子句知识库。 （英语） 兹伯利07629312 国际J近似推理 152357-389（2023年）.MSC公司：68层37 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Imaz}，国际期刊近似推理152，357--389（2023；Zbl 07629312） 全文： 内政部 arXiv公司
Leander Tentrup公司 CAQE和QuAbS：基于抽象的QBF解算器。 （英语） Zbl 1484.68224号 J.满意。布尔模型。计算。 11, 155-210 (2019).MSC公司：68T20型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{L.Tentrup}，J.Satisf（满意）。布尔模型。计算。11、155-210（2019年；Zbl 1484.68224） 全文： 内政部
赫金·哈布什，杰斯科;Leander Tentrup公司 通过抽象求解QBF。 （英语） Zbl 1528.68223号 Orlandini，Andrea（编辑）等人，第九届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2018，德国萨尔布吕肯，2018年9月26日至28日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）27788-102（2018）。MSC公司：60年第68季度 68问题85 68T20型 91A80 PDF格式BibTeX公司 XML格式引用 \textit{J.赫金-哈布什}和\textit{L.十分之一}，电子。程序。西奥。计算。科学。（EPTCS）277，88--102（2018；Zbl 1528.68223） 全文： arXiv公司 链接
埃格利，乌韦 QBFs的强计算。 （英语） Zbl 1475.68434号 Creignou，Nadia（编辑）等人，《可满足性测试的理论和应用——SAT 2016》。第19届国际会议，法国波尔多，2016年7月5-8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9710, 419-434 (2016).MSC公司：68伏15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{U.Egly}，莱克特。注释计算。科学。9710，419--434（2016；Zbl 1475.68434） 全文： 内政部 arXiv公司
Leander Tentrup公司 使用抽象求解非正则QBF。 （英语） Zbl 1475.68224号 Creignou，Nadia（编辑）等人，《可满足性测试的理论和应用——SAT 2016》。第19届国际会议，法国波尔多，2016年7月5-8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9710, 393-401 (2016).MSC公司：68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{L.Tentrup}，莱克特。注释计算。科学。9710393--401（2016；Zbl 1475.68224） 全文： 内政部
Christoph M.温特斯泰格。;优素福·哈马迪;莱昂纳多·德·莫拉 有效求解量化位向量公式。 （英语） Zbl 1284.03212号 形式方法系统。设计。 42，第1期，3-23（2013）.MSC公司：03B70号 60年第68季度 68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.M.Wintersteiger}等人，《形式方法系统》。设计。42，第1号，第3--23号（2013；Zbl 1284.03212） 全文： 内政部
帕夫洛斯·艾里纳基斯;萨尔瓦多鲁杰里;苏布拉马尼，K。;彼得·沃伊切乔夫斯基 参数化线性约束蕴含的复杂性观点。 （英语） Zbl 1309.90107号 约束条件 17，第4期，461-487（2012）.MSC公司：90立方31 90C05（二氧化碳） 90C60型 PDF格式BibTeX公司 XML格式引用 \textit{P.Eirinakis}等人，《约束17》，第4期，461--487（2012；Zbl 1309.90107） 全文： 内政部
菲利普·贝斯纳德;亨特，安东尼;斯特凡·沃尔特兰 在量化布尔公式中编码演绎论证。 （英语） Zbl 1185.68662号 Artif公司。智力。 173，编号151406-1423（2009）.MSC公司：68T27型 PDF格式BibTeX公司 XML格式引用 \textit{P.Besnard}等人，Artif。智力。173，第15号，1406-1423（2009；Zbl 1185.68662） 全文： 内政部
亚历山大·古提亚耶娃;维姬·艾弗森;法希姆·巴克斯 超越CNF：基于电路的QBF求解器。 （英语） Zbl 1247.68236号 Kullmann，Oliver（编辑），可满足性测试的理论和应用——SAT 2009。2009年6月30日至7月3日在英国斯旺西举行的2009年第12届国际SAT会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02776-5/pbk）。计算机科学课堂讲稿5584，412-426（2009）。MSC公司：68吨15 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Goultiaeva}等人，Lect。注释计算。科学。5584、412--426（2009年；Zbl 1247.68236） 全文： 内政部