萨姆·巴斯;埃姆雷·约尔库 常规分辨率有效模拟分辨率。 （英语） Zbl 07861414号 信息处理。莱特。 186，文章ID 106489，5 p.（2024）.MSC公司：03B35型 20层03 PDF格式BibTeX公司 XML格式引用 \textit{S.Buss}和\textit{E.Yolcu}，Inf.过程。莱特。186，文章ID 106489，5 p.（2024；Zbl 07861414） 全文： 内政部 arXiv公司
萨姆·巴斯;德米特里·伊特西克森;亚历山大·诺普;德米特里·索科洛夫 重新排序规则使OBDD证明系统更强大。 （英语） Zbl 1441.03042号 Servedio，Rocco A.（编辑），第33届计算复杂性会议，CCC 2018，2018年6月22日至24日，美国加利福尼亚州圣地亚哥。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。102，第16条，第24页（2018年）。MSC公司：20层03 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{S.Buss}等人，LIPIcs——莱布尼茨国际程序。通知。102，第16条，第24页（2018；Zbl 1441.03042） 全文： 内政部
萨姆·巴斯;詹·约翰森 线性分辨率。 （英语） 兹比尔1484.03120 J.满意。布尔模型。计算。 10(2016-2019), 23-35 (2017).MSC公司：20层03 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{S.Buss}和\textit{J.Johannsen}，J.Satisf。布尔模型。计算。10、23-35（2017；Zbl 1484.03120） 全文： 内政部
米纳·马哈扬;阿尼尔·舒克拉 水平有序分辨率和树状分辨率是不可比拟的。 （英语） Zbl 1348.03056号 信息处理。莱特。 116，第3期，256-258（2016）.MSC公司：20层03 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Mahajan}和\textit{A.Shukla}，信息处理。莱特。116、3号、256--258（2016；Zbl 1348.03056） 全文： 内政部
伊曼纽尔·迪·罗莎;恩里科·金西格里亚;马可·马拉提亚 用偏好解决可满足性问题。 （英语） Zbl 1208.68199号 约束条件 15，第4期，485-515（2010）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Di Rosa}等人，《限制条件》15，第4期，485--515（2010；Zbl 1208.68199） 全文： 内政部