霍拉切克，Jan;马丁·克鲁泽;Messeng Ekossono，Ange-Salomé 一种基于签名的边界基算法。 （英语） Zbl 1474.13056号 数学。计算。科学。 14，第1期，177-189（2020）.MSC公司：13页第10页 99年6月 第13页，共15页 PDF格式BibTeX公司 XML格式引用 \textit{J.Horáckek}等人，《数学》。计算。科学。14，第1号，177--189（2020；Zbl 1474.13056） 全文： 内政部
简·霍拉克;马丁·克鲁泽 关于从CNF到ANF的转换。 （英语） Zbl 1432.68600号 J.塞姆。计算。 100, 164-186 (2020).MSC公司：68瓦30 06E30年 13页第10页 68兰特 94D10号 PDF格式BibTeX公司 XML格式引用 \textit{J.Horáckek}和\textit{M.Kreuzer}，J.Symb。计算。100164--186（2020年；Zbl 1432.68600） 全文： 内政部
简·霍拉克;马丁·克鲁泽 3BA：带SAT扩展的边界基础解算器。 （英语） Zbl 1395.68345号 Davenport，James H.（编辑）等人，《数学软件–ICMS 2018》。第六届国际会议，2018年7月24日至27日，美国印第安纳州南本德。诉讼程序。查姆：施普林格（ISBN 978-3-319-96417-1/pbk；978-3-3169-96418-8/电子书）。计算机科学课堂讲稿10931209-217（2018）。MSC公司：68瓦30 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{J.Horáckek}和\textit{M.Kreuzer}，莱克特。注释计算。科学。10931、209--217（2018；Zbl 1395.68345） 全文： 内政部