米科拉什·亚诺塔;威廉·克利伯;若昂·西尔瓦侯爵;埃德蒙·克拉克 用反例引导精化求解QBF。 (英语) Zbl 1351.68254号 Artif公司。智力。 234,1-25(2016).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Janota}等人,Artif。智力。234,1--25(2016;Zbl 1351.68254) 全文: 内政部
米科拉什·亚诺塔;威廉·克利伯;若昂·西尔瓦侯爵;埃德蒙·克拉克 用反例引导精化求解QBF。 (英语) Zbl 1273.68178号 Cimatti,Alessandro(编辑)等人,《可满足性测试的理论和应用——2012年SAT》。第15届国际会议,2012年6月17日至20日,意大利特伦托。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-31611-1/pbk)。计算机科学课堂讲稿7317,114-128(2012)。MSC公司:第68季度25 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Janota}等人,Lect。注释计算。科学。7317,114-128(2012;Zbl 1273.68178) 全文: 内政部 链接
威廉·克利伯;萨米尔·萨普拉;高思春;埃德蒙·克拉克 具有游戏状态学习功能的非Renex、非子句QBF解算器。 (英语) Zbl 1306.68161号 Strichman,Ofer(编辑)等人,《可满足性测试的理论和应用——SAT 2010》。2010年7月11日至14日,英国爱丁堡,第13届国际会议,SAT 2010。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-14185-0/pbk)。计算机科学课堂讲稿6175128-142(2010)。MSC公司:68T20型 第68季度第60季度 68T05型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{W.Klieber}等人,Lect。注释计算。科学。6175、128--142(2010年;Zbl 1306.68161) 全文: 内政部