Marijn J.H.Heule、Manuel Kauers和Martina Seidl(2021年)。
3 x 3矩阵乘法的新方法.
符号计算杂志104: 899-916.[arXiv公司,国防部]
Randal E.Bryant和Marijn J.H.Heule(2021年)。
基于BDD求解器的量化布尔公式对偶证明生成.
在自动扣除会议-CADE-28, 433-449.
计算机科学讲义12699,斯普林格。[预印本,国防部]
Nils Froleyks、Marijn j.H.Heule Markus Iser、Matti järvisalo和Martin Suda(2021年)。
2020年SAT竞赛.
人工智能杂志第301卷。爱思唯尔。[国防部(开放访问)]
Armin Biere、Marijn J.H.Heule、Hans van Maaren和Toby Walsh(2021年)。
可满足性手册,第二版。
《人工智能与应用前沿》,第336卷。IOS出版社。[链接]
Marijn J.H.Heule和Hans van Maaren(2021年)。
基于Look-Ahead的SAT解算器.
中的第5章可满足性手册——第二版, 183-212.
人工智能与应用前沿,IOS出版社。[手稿版本,记录的版本]
Marijn J.H.Heule(2021年)。
不满意证明.
中的第15章可满足性手册——第二版, 635-668.
人工智能与应用前沿,IOS出版社。[手稿版本,记录的版本]
Emre Yocu、Scott Aaronson和Marijn J.H.Heule(2021年)。
Collatz猜想的自动化方法.
在自动扣款会议-CADE-28, 468-484.
计算机科学讲义12699,斯普林格。[预印本,国防部]
Emre Yolcu、Scott Aaronson和Marijn J.H.Heule(2021年)。
Collatz猜想的混合基重写.
在第17届国际终止研讨会(WST’21), 57-62.[pdf格式]
Randal E.Bryant和Marijn J.H.Heule(2021年)。
使用基于BDD的SAT解算器生成扩展分辨率证明.
在系统构建和分析的工具和算法-TACAS 2021第76-93页。
计算机科学讲义12651,施普林格。最佳论文提名[pdf格式,国防部]
Petar Vukmirovic、Jasmin Blanchette和Marijn J.H.Heule(2021年)。
SAT激励消除叠加.
在计算机辅助设计形式方法会议–FMCAD 2021第231-240页。[pdf格式,国防部]
Marijn J.H.Heule(2021)。
臭名昭著的数学问题的简单变体.
新档案馆(Nieuw Archief voor Wiskunde)5/22(3): 153-157. [pdf格式]
Marijn J.H.Heule(2021年)。
哈密顿循环的中国余数编码.
在可满足性测试的理论与实践-SAT 2021第216-224页。
计算机科学讲义12831,Springer。[pdf格式,幻灯片,记录,国防部]
Wojciech Nawrocki、Zhenjun Liu、Andreas Fröhlich、Marijn J.H.Heule和Armin Biere(2021年)。
布尔Brent方程的XOR局部搜索.
在满意度测试理论与实践——SAT 2021, 417-435.
计算机科学讲义12831,Springer。[pdf格式,幻灯片,记录,国防部]
Cayden Codel、Joseph Reeves、Marijn J.H.Heule和Randal E.Bryant(2021年)。
二元完美匹配基准.
被SAT语用学(PoS’21)录取。[pdf格式,幻灯片]
Joseph Reeves和Marijn J.H.Heule(2021)。
有界变量消去对鸽子洞公式的影响.
被SAT语用学(PoS’21)录取。[pdf格式,幻灯片]
Cayden Codel和Marijn J.H.Heule(2021年)。
定权分配及其变异体的研究.
被SAT语用学(PoS’21)录取。[pdf格式,幻灯片]
Yong Kiam Tan、Marijn J.H.Heule和Magnus O.Myreen(2021年)。
cake_lpr:CakeML中的验证传播冗余检查.
在系统构建和分析的工具和算法-TACAS 2021第223-241页。
计算机科学讲义12651,Springer。[pdf格式,国防部]
Seulkee Baek、Mario Carneiro和Marijn J.H.Heule(2021年)。
SAT求解器-精算器通信的灵活证明格式.
在系统构建和分析的工具和算法-TACAS 2021第59-75页。
计算机科学讲义12651,Springer。[pdf格式,国防部]
Travis Hance、Marijn J.H.Heule、Ruben Martins、Bryan Parno(2021年)。
寻找分布式系统的不变量:毕竟这是一个很小(足够)的世界.
在网络系统设计与实施研讨会-NSDI 2021.[pdf格式]
刘振军、周乐华、马瑞恩·J·H·赫勒(2021)。
使用移位模式避免单色矩形.
在SoCS-2021组合搜索国际研讨会第225-227页。[arXiv公司(扩展版本),pdf格式]