Randal E.布莱恩特。；Heule，Marijn J.H。 使用基于BDD的SAT解算器生成扩展的分辨率证明。 （英语） Zbl 07760992号 ACM事务处理。计算。日志。 24，第4号，第31号论文，28页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit｛R.E.Bryant｝和\textit｛M.J.H.Heule｝，ACM Trans。计算。日志。24，第4号，第31号论文，28页（2023；Zbl 07760992） 全文： 内政部
Randal E.布莱恩特。；Heule，Marijn J.H。 使用基于BDD的SAT解算器生成扩展的分辨率证明。 （英语） Zbl 1467.68203号 Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12651, 76-93 (2021).MSC公司：68伏15 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.E.Bryant}和\textit{M.J.H.Heule}，莱克特。注释计算。科学。12651，76-93（2021年；兹bl 1467.68203） 全文： 内政部 arXiv公司
Randal E.布莱恩特。 二进制决策图。 （英语） Zbl 1392.68151号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。191-217 (2018).MSC公司：68第05页 PDF格式BibTeX公司 XML格式引用 \textit{R.E.Bryant}，in：模型检查手册。查姆：斯普林格。191-217（2018；Zbl 1392.68151） 全文： 内政部