佩塔·武克米罗维奇;贾斯敏·布兰切特;Heule，Marijn J.H。 叠加的SAT激励抵消。 （英文） Zbl 07650603号 ACM事务处理。计算。日志。 24，第1号，第7号论文，第25页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{P.Vukmirović}等人，ACM Trans。计算。日志。24，第1号，第7号论文，25页（2023；Zbl 07650603） 全文： 内政部
Tan，Yong Kiam先生;Heule，Marijn J.H。;玛格努斯·奥·米林。 结块_lpr：在CakeML中验证了传播冗余检查。 （英文） Zbl 1474.68194号 Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12652, 223-241 (2021).MSC公司：60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Y.K.Tan}等人，Lect。注释计算。科学。12652、223--241（2021；Zbl 1474.68194） 全文： 内政部
Seulkee Baek先生;马里奥·卡内罗;Heule，Marijn J.H。 SAT解算器-解算器通信的灵活证明格式。 （英文） Zbl 1467.68159号 Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12651, 59-75 (2021).MSC公司：68T20型 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.Baek}等人，Lect。注释计算。科学。12651，59-75（2021；Zbl 1467.68159） 全文： 内政部 arXiv公司