Marijn Heule

Citado por

	Todos	Desde 2017
Citações	6401	3950
Índice h	33	29
Índice i10	84	64

780

390

195

585

2006200720082009201020112012201320142015201620172018201920202021202218 26 46 64 133 172 259 340 436 403 464 571 566 724 744 768 571

Acesso público

Ver tudo

62 artigos

0 artigos

disponível

não disponível

Com base em autorizações de financiamento

Coautores

Armin BiereProfessor of Computer Science, University of FreiburgEmail confirmado em informatik.uni-freiburg.de
Matti JärvisaloProfessor, University of HelsinkiEmail confirmado em helsinki.fi
Martina SeidlUniv.-Prof., JKU LinzEmail confirmado em jku.at
Warren A. Hunt, JrProfessor of Computer Science, University of TexasEmail confirmado em cs.utexas.edu
Nathan WetzlerUniversity of Texas at AustinEmail confirmado em cs.utexas.edu
Oliver KullmannSwansea UniversityEmail confirmado em Swansea.ac.uk
Benjamin Kiesl-ReiterAmazon Web ServicesEmail confirmado em amazon.de
Anton BelovSynopsys Inc.Email confirmado em belov-mcdowell.com
Martin SudaCzech Technical University in PragueEmail confirmado em cvut.cz
Tomas BalyoCAS Software AGEmail confirmado em cas.de
Sicco VerwerDelft University of TechnologyEmail confirmado em tudelft.nl
Victor MarekProfessor of Computer Science, University of KentuckyEmail confirmado em cs.uky.edu
Norbert MantheyTU DresdenEmail confirmado em tu-dresden.de
Siert WieringaEmail confirmado em siert.nl
Randal BryantCarnegie Mellon UniversityEmail confirmado em cs.cmu.edu
Manuel KauersJohannes Kepler University, Linz, AustriaEmail confirmado em kauers.de
Toby WalshProfessor, UNSW and CSIRO Data61Email confirmado em cse.unsw.edu.au
John F. MackeyTeaching Professor of Computer Science and Mathematics, Carnegie Mellon UniversityEmail confirmado em andrew.cmu.edu
Isil DilligUT AustinEmail confirmado em cs.utexas.edu
Ruben MartinsCarnegie Mellon UniversityEmail confirmado em cs.cmu.edu

Seguir

Marijn Heule

Associate Professor of Computer Science, Carnegie Mellon University

Email confirmado em cs.cmu.edu - Página inicial

Automated Reasoning Formal Verification Parallel Computing


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications A Biere, MJH Heule, H van Maaren, T Walsh IOS Press, 2009	2272	2009
Inprocessing rules M Järvisalo, MJH Heule, A Biere Conference on Automated Deduction (CADE), 355-370, 2012	228	2012
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	223	2016
DRAT-trim: Efficient checking and trimming using expressive clausal proofs N Wetzler, MJH Heule, WA Hunt International Conference on Theory and Applications of Satisfiability …, 2014	196	2014
Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads MJH Heule, O Kullmann, S Wieringa, A Biere Haifa Verification Conference 2011, 2012	171	2012
Blocked clause elimination M Järvisalo, A Biere, MJH Heule Tools and Algorithms for the Construction and Analysis of Systems, 129-144, 2010	151	2010
Exact DFA identification using SAT solvers MJH Heule, S Verwer International Colloquium on Grammatical Inference, 66-79, 2010	125	2010
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	120	2005
Trimming while checking clausal proofs MJH Heule, WA Hunt, N Wetzler 2013 Formal Methods in Computer-Aided Design, 181-188, 2013	110	2013
Schur number five M Heule Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018	96	2018
SAT competition 2016: Recent developments T Balyo, MJH Heule, M Jarvisalo Thirty-First AAAI Conference on Artificial Intelligence, 2017	94	2017
Clause Elimination Procedures for CNF Formulas. MJH Heule, M Järvisalo, A Biere LPAR (Yogyakarta) 6397, 357-371, 2010	91	2010
Automated reencoding of boolean formulas N Manthey, MJH Heule, A Biere Haifa Verification Conference, 102-117, 2012	87	2012
Efficient certified RAT verification L Cruz-Filipe, MJH Heule, WA Hunt, M Kaufmann, P Schneider-Kamp International Conference on Automated Deduction, 220-236, 2017	80	2017
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	79	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	78	2011
Verifying refutations with extended resolution MJH Heule, WA Hunt, N Wetzler International Conference on Automated Deduction, 345-359, 2013	77	2013
Look-Ahead Based SAT Solvers. M Heule, H van Maaren Handbook of satisfiability 185, 155-184, 2009	75	2009
Proceedings of SAT Competition 2014 A Belov, D Diepold, MJH Heule, M Järvisalo University of Helsinki, 2014	71*	2014
The science of brute force MJH Heule, O Kullmann Communications of the ACM 60 (8), 70-79, 2017	66	2017

O sistema não pode efectuar a operação agora. Tente novamente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações unidas

Adicionar coautoresCoautores

Seguir

Citado por

Coautores