Marijn J.H.Heule和Oliver Kullmann(2017年)。
蛮力科学.
ACM通信60(8), 70-79.[链接]
Marijn J.H.Heule(2017年)。
算术级数中避免三元组.
组合数学杂志8(3): 391-422.[pdf格式]
Marijn J.H.Heule、Benjamin Kiesl和Armin Biere(2017年)。
不带新变量的简短证明.
在自动扣款-CADE-26第130-147页。10395计算机科学讲稿,斯普林格。最佳论文奖.[pdf格式,国防部,幻灯片]
Luís Cruz-Filipe、Marijn J.H.Heule、Warren A.Hunt Jr.、Matt Kaufmann和Peter Schneider-Kamp(2017年)。
高效认证RAT验证.
在自动扣除-CADE-26第220-236页。计算机科学讲义10395,施普林格。[pdf格式,国防部]
Marijn J.H.Heule、Oliver Kullmann和Victor W.Marek(2017年)。
解决非常困难的问题:Cube-and-Conquer,一种混合SAT解决方法.
第二十六届国际人工智能联合会议记录(IJCAI-17),第4864-4868页。[pdf格式,幻灯片]
Benjamin Kiesl、Marijn J.H.Heule和Armin Biere(2017年)。
一个被屏蔽的小字面词有很长的路要走.
在满意度测试理论与应用——SAT-2017第281-297页。
计算机科学课堂讲稿10491,斯普林格。[pdf格式,国防部,幻灯片]
Marijn J.H.Heule、Benjamin Kiesl、Martina Seidl和Armin Biere(2017年)。
P通过满意度进行调整.
在海法验证会议-HVC 2017第179-194页。计算机科学10629讲义,斯普林格。最佳论文奖[pdf格式,国防部,幻灯片]
Katalin Fazekas、Marijn J.H.Heule、Martina Seidl和Armin Biere(2017年)。
量化布尔公式的Skolem函数合成.
在测试和证明-TAP 2017第129-138页。10375计算机科学课堂讲稿,斯普林格。[pdf格式,国防部]
Marijn J.H.Heule、Warren A.Hunt Jr.、Matt Kaufmann和Nathan D.Wetzler(2017年)。
命题证明的有效验证检查.
在交互式定理证明-ITP 2017第269-284页。
计算机科学课堂讲稿10499,斯普林格。[pdf格式,国防部]
Valentin Wüstholz、Oswaldo Olivo、Marijn J.H.Heule和Işıl Dillig(2017)。
使用正则表达式的程序中DoS漏洞的静态检测.
在系统构建和分析的工具和算法-TACAS 2017第3-20页。
计算机科学讲稿10206,斯普林格。最佳论文奖.[pdf格式,arXiv公司]
Marijn J.H.Heule和Benjamin Kiesl(2017年)。
基于干扰的证明系统的潜力.
ARCADE 2017,第51-54页。EPiC计算系列51。[pdf格式,幻灯片]
J S.Moore和Marijn J.H.Heule(2017年)。
ACL2的工业应用:应用、成就、挑战和方向.
ARCADE 2017,第42-45页。计算中的EPiC系列51。[pdf格式,幻灯片]
Marijn J.H.Heule(2017年)。
德克萨斯州的一切都更大:“有史以来最大的数学证明”.
第三届全球人工智能会议,第1-5页。EPiC计算系列50。[pdf格式]
Tomas Balyo、Marijn J.H.Heule和Matti Järvisalo(2017年)。
2016年SAT竞赛:最新发展.
2017年AAAI会议记录,第5061-5063页。[pdf格式]
Keenan Breik、Lakshmi Prakash、Chris Thachuk、Marijn J.H.Heule和David Soloveichik(2017年)。
热力学结合网络稳定构型的计算性质.[arXiv公司]