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 engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningSatisfiabilityFormal MethodsComputational ComplexityFormal VerificationVerificationProof ComplexityDiscrete Mathematics

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

Engineering, Verification, Automated Proof +17

The science of brute force

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

Artificial Intelligence, Mathematics Solves Problems, Mathematics Education +12

SAT Competition 2020

Nils Froleyks, Marijn J. H. Heule, Markus Iser et al. · Artificial Intelligence · 2021 · 79 citations · Full text

Artificial Intelligence, Engineering, Verification +21

SAT Competition 2016: Recent Developments

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

Artificial Intelligence, Engineering, Computational Complexity +16

Clause Elimination for SAT and QSAT

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

Constraint Solving, Engineering, Automated Reasoning +12

1–5 of 33