Concepedia

Marijn J. H. Heule

MJ

Statistics

Publications

33

Citations

1.1K

H-Index

20

Active since

2007

Affiliations

The University of Texas at Austin(Current)

Johannes Kepler University of Linz

Delft University of Technology

Carnegie Mellon University

Helsinki Institute for Information Technology

Marijn J. H. Heule is an author at The University of Texas at Austin specializing in computer science, computing, and algorithms.

Publications per year

2007–2022

33

Publications

33

Trimming while checking clausal proofs

Marijn J. H. Heule, Warren A. Hunt, Nathan Wetzler · 2013 · 106 citations

Computing, Computer Science, Algorithms +12

The science of brute force

Marijn J. H. Heule, Oliver Kullmann · Communications of the ACM · 2017 · 94 citations · Full text

Computing, Computer Science, Mathematics +4

SAT Competition 2020

Nils Froleyks, Marijn J. H. Heule, Matti Järvisalo et al. · Artificial Intelligence · 2021 · 83 citations · Full text

Computing, Computer Science, Algorithms +11

SAT Competition 2016: Recent Developments

Tomáš Balyo, Marijn J. H. Heule, Matti Järvisalo · Proceedings of the AAAI Conference on Artificial Intelligence · 2017 · 78 citations · Full text

Computing, Computer Science, Mathematics +13

Clause Elimination for SAT and QSAT

Marijn J. H. Heule, Matti Järvisalo, Florian Lonsing et al. · Journal of Artificial Intelligence Research · 2015 · 69 citations · Full text

Computing, Computer Science, Algorithms +12

1–5 of 33