Marijn Heule

Citée par

	Toutes	Depuis 2018
Citations	7107	4076
indice h	35	29
indice i10	89	65

900

450

225

675

20062007200820092010201120122013201420152016201720182019202020212022202318 22 49 66 131 170 263 347 438 402 470 560 569 723 757 787 900 331

Accès public

Tout afficher

72 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Armin BiereProfessor of Computer Science, University of FreiburgAdresse e-mail validée de informatik.uni-freiburg.de
Matti JärvisaloProfessor, University of HelsinkiAdresse e-mail validée de helsinki.fi
Martina SeidlUniv.-Prof., JKU LinzAdresse e-mail validée de jku.at
Warren A. Hunt, JrProfessor of Computer Science, University of TexasAdresse e-mail validée de cs.utexas.edu
Benjamin Kiesl-ReiterAmazon Web ServicesAdresse e-mail validée de amazon.de
Nathan WetzlerUniversity of Texas at AustinAdresse e-mail validée de cs.utexas.edu
Oliver KullmannSwansea UniversityAdresse e-mail validée de Swansea.ac.uk
Anton BelovSynopsys Inc.Adresse e-mail validée de belov-mcdowell.com
Tomas BalyoFiluta AIAdresse e-mail validée de filuta.ai
Martin SudaCzech Technical University in PragueAdresse e-mail validée de cvut.cz
Toby WalshProfessor, UNSW and CSIRO Data61Adresse e-mail validée de cse.unsw.edu.au
Sicco VerwerDelft University of TechnologyAdresse e-mail validée de tudelft.nl
Randal BryantCarnegie Mellon UniversityAdresse e-mail validée de cs.cmu.edu
Victor MarekProfessor of Computer Science, University of KentuckyAdresse e-mail validée de cs.uky.edu
Manuel KauersJohannes Kepler University, Linz, AustriaAdresse e-mail validée de kauers.de
Norbert MantheyTU DresdenAdresse e-mail validée de tu-dresden.de
Siert WieringaAdresse e-mail validée de siert.nl
Isil DilligUT AustinAdresse e-mail validée de cs.utexas.edu
Ruben MartinsCarnegie Mellon UniversityAdresse e-mail validée de cs.cmu.edu
John F. MackeyTeaching Professor of Computer Science and Mathematics, Carnegie Mellon UniversityAdresse e-mail validée de andrew.cmu.edu

Suivre

Marijn Heule

Associate Professor of Computer Science, Carnegie Mellon University

Adresse e-mail validée de cs.cmu.edu - Page d'accueil

Automated Reasoning Formal Verification Parallel Computing


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications A Biere, MJH Heule, H van Maaren, T Walsh IOS Press, 2009	2480	2009
Solving and verifying the boolean pythagorean triples problem via cube-and-conquer MJH Heule, O Kullmann, VW Marek Theory and Applications of Satisfiability Testing–SAT 2016: 19th …, 2016	242	2016
Inprocessing rules M Järvisalo, MJH Heule, A Biere Conference on Automated Deduction (CADE), 355-370, 2012	242	2012
DRAT-trim: Efficient checking and trimming using expressive clausal proofs N Wetzler, MJH Heule, WA Hunt Jr Theory and Applications of Satisfiability Testing–SAT 2014: 17th …, 2014	220	2014
Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads MJH Heule, O Kullmann, S Wieringa, A Biere Haifa Verification Conference 2011, 2012	188	2012
Blocked clause elimination M Järvisalo, A Biere, MJH Heule Tools and Algorithms for the Construction and Analysis of Systems, 129-144, 2010	166	2010
Exact DFA identification using SAT solvers MJH Heule, S Verwer Grammatical Inference: Theoretical Results and Applications: 10th …, 2010	134	2010
Trimming while checking clausal proofs MJH Heule, WA Hunt, N Wetzler 2013 Formal Methods in Computer-Aided Design, 181-188, 2013	123	2013
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	123	2005
Schur number five M Heule Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018	113	2018
SAT competition 2016: Recent developments T Balyo, M Heule, M Jarvisalo Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017	106	2017
Clause Elimination Procedures for CNF Formulas. MJH Heule, M Järvisalo, A Biere LPAR (Yogyakarta) 6397, 357-371, 2010	98	2010
Automated reencoding of boolean formulas N Manthey, MJH Heule, A Biere Hardware and Software: Verification and Testing: 8th International Haifa …, 2013	94	2013
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	89	2017
Verifying refutations with extended resolution MJH Heule, WA Hunt, N Wetzler Automated Deduction–CADE-24: 24th International Conference on Automated …, 2013	86	2013
Proceedings of SAT Competition 2014 A Belov, D Diepold, MJH Heule, M Järvisalo University of Helsinki, 2014	85*	2014
Efficient CNF simplification based on binary implication graphs MJH Heule, M Järvisalo, A Biere Theory and Applications of Satisfiability Testing-SAT 2011: 14th …, 2011	85	2011
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	84	2015
Look-Ahead Based SAT Solvers. M Heule, H van Maaren Handbook of satisfiability 185, 155-184, 2009	81	2009
The science of brute force MJH Heule, O Kullmann Communications of the ACM 60 (8), 70-79, 2017	78	2017

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs