巴哈雷赫巴德班；范德波尔（Jaco Van De Pol）；奥尔加·特维雷蒂纳；汉斯·赞特马 推广DPLL和等式的可满足性。 （英语） Zbl 1121.68102号 Inf.计算。 205，第8期，1188-1211（2007）.MSC公司：68吨15 68T20型 03B25号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{B.Badban}等人，《信息计算》。205，第8号，1188--1211（2007；Zbl 1121.68102） 全文： 内政部 链接
范德波尔（Jaco van de Pol）；奥尔加·特维雷蒂纳 用于等式逻辑和未解释函数的BDD表示。 （英语） Zbl 1156.68481号 Jędrzejowicz，Joanna（编辑）等人，计算机科学数学基础2005。2005年8月29日至9月2日在波兰格但斯克举行的2005年MFCS第30届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28702-7/pbk）。计算机科学课堂讲稿3618769-780（2005）。MSC公司：60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit｛J.van de Pol｝和\textit｛O.Tveretina｝，Lect。注释计算。科学。3618769-780（2005年；Zbl 1156.68481） 全文： 内政部