Marijn Heule

Cited by

	All	Since 2019
Citations	8813	5169
h-index	41	33
i10-index	107	84

1100

550

275

825

2008200920102011201220132014201520162017201820192020202120222023202444 69 131 180 261 348 451 406 476 550 574 716 805 827 848 1057 913

Public access

View all

89 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Armin BiereProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Matti JärvisaloProfessor, University of HelsinkiVerified email at helsinki.fi
Martina SeidlUniv.-Prof., JKU LinzVerified email at jku.at
Warren A. Hunt, JrProfessor of Computer Science, University of TexasVerified email at cs.utexas.edu
Benjamin Kiesl-ReiterAmazon Web ServicesVerified email at amazon.de
Oliver KullmannSwansea UniversityVerified email at Swansea.ac.uk
Nathan WetzlerUniversity of Texas at AustinVerified email at cs.utexas.edu
Randal BryantCarnegie Mellon UniversityVerified email at cs.cmu.edu
Tomas BalyoFiluta AIVerified email at filuta.ai
Anton BelovSynopsys Inc.Verified email at belov-mcdowell.com
Martin SudaCzech Technical University in PragueVerified email at cvut.cz
Ruben MartinsCarnegie Mellon UniversityVerified email at cs.cmu.edu
Sicco VerwerDelft University of TechnologyVerified email at tudelft.nl
Toby WalshProfessor, UNSW and CSIRO Data61Verified email at cse.unsw.edu.au
John F. MackeyTeaching Professor of Computer Science and Mathematics, Carnegie Mellon UniversityVerified email at andrew.cmu.edu
Bernardo SubercaseauxCarnegie Mellon UniversityVerified email at andrew.cmu.edu
Victor MarekProfessor of Computer Science, University of KentuckyVerified email at cs.uky.edu
Manuel KauersJohannes Kepler University, Linz, AustriaVerified email at kauers.de
Norbert MantheyTU DresdenVerified email at tu-dresden.de
Siert WieringaVerified email at siert.nl

Marijn Heule

Associate Professor of Computer Science, Carnegie Mellon University

Verified email at cs.cmu.edu - Homepage

Automated Reasoning Formal Verification Parallel Computing SAT


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications A Biere, MJH Heule, H van Maaren, T Walsh IOS Press, 2009	2871	2009
Solving and verifying the boolean pythagorean triples problem via cube-and-conquer MJH Heule, O Kullmann, VW Marek International Conference on Theory and Applications of Satisfiability …, 2016	317	2016
DRAT-trim: Efficient checking and trimming using expressive clausal proofs N Wetzler, MJH Heule, WA Hunt Jr International Conference on Theory and Applications of Satisfiability …, 2014	303	2014
Inprocessing rules M Järvisalo, MJH Heule, A Biere Conference on Automated Deduction (CADE), 355-370, 2012	287	2012
Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads MJH Heule, O Kullmann, S Wieringa, A Biere Haifa Verification Conference 2011, 2012	234	2012
Blocked clause elimination M Järvisalo, A Biere, MJH Heule Tools and Algorithms for the Construction and Analysis of Systems, 129-144, 2010	187	2010
Trimming while checking clausal proofs MJH Heule, WA Hunt, N Wetzler 2013 Formal Methods in Computer-Aided Design, 181-188, 2013	173	2013
Exact DFA identification using SAT solvers MJH Heule, S Verwer Grammatical Inference: Theoretical Results and Applications: 10th …, 2010	157	2010
Schur number five M Heule Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018	150	2018
Efficient certified RAT verification L Cruz-Filipe, MJH Heule, WA Hunt, M Kaufmann, P Schneider-Kamp Automated Deduction–CADE 26: 26th International Conference on Automated …, 2017	132	2017
March_eq: Implementing additional reasoning into an efficient look-ahead SAT solver M Heule, M Dufour, J Van Zwieten, H Van Maaren Theory and Applications of Satisfiability Testing, 345–359, 2005	122	2005
SAT competition 2016: Recent developments T Balyo, M Heule, M Jarvisalo Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017	120	2017
The science of brute force MJH Heule, O Kullmann Communications of the ACM 60 (8), 70-79, 2017	116	2017
Verifying refutations with extended resolution MJH Heule, WA Hunt Jr, N Wetzler International Conference on Automated Deduction, 345-359, 2013	116	2013
Automated reencoding of boolean formulas N Manthey, MJH Heule, A Biere Haifa Verification Conference, 102-117, 2012	112	2012
The sat competition 2014 A Belov, D Diepold, M Heule, M Järvisalo Proc. SAT COMPETITION, 45, 2014	110*	2014
Clause Elimination Procedures for CNF Formulas. MJH Heule, M Järvisalo, A Biere LPAR (Yogyakarta) 6397, 357-371, 2010	108	2010
Look-ahead based SAT solvers MJH Heule, H van Maaren Handbook of satisfiability, 155-184, 2009	101	2009
Clause elimination for SAT and QSAT MJH Heule, M Järvisalo, F Lonsing, M Seidl, A Biere Journal of Artificial Intelligence Research 53, 127-168, 2015	96	2015
Efficient CNF simplification based on binary implication graphs MJH Heule, M Järvisalo, A Biere International Conference on Theory and Applications of Satisfiability …, 2011	94	2011

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors