Sledovat
Marijn Heule
Marijn Heule
Associate Professor of Computer Science, Carnegie Mellon University
E-mailová adresa ověřena na: cs.cmu.edu - Domovská stránka
Název
Citace
Citace
Rok
Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications
A Biere, MJH Heule, H van Maaren, T Walsh
IOS Press, 2009
23942009
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
2342016
Inprocessing rules
M Järvisalo, MJH Heule, A Biere
Conference on Automated Deduction (CADE), 355-370, 2012
2322012
DRAT-trim: Efficient checking and trimming using expressive clausal proofs
N Wetzler, MJH Heule, WA Hunt
Theory and Applications of Satisfiability Testing–SAT 2014: 17th …, 2014
2052014
Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads
MJH Heule, O Kullmann, S Wieringa, A Biere
Haifa Verification Conference 2011, 2012
1782012
Blocked clause elimination
M Järvisalo, A Biere, MJH Heule
Tools and Algorithms for the Construction and Analysis of Systems, 129-144, 2010
1632010
Exact DFA identification using SAT solvers
MJH Heule, S Verwer
Grammatical Inference: Theoretical Results and Applications: 10th …, 2010
1292010
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
1222005
Trimming while checking clausal proofs
MJH Heule, WA Hunt, N Wetzler
2013 Formal Methods in Computer-Aided Design, 181-188, 2013
1152013
Schur number five
M Heule
Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018
1062018
SAT competition 2016: Recent developments
T Balyo, MJH Heule, M Jarvisalo
Thirty-First AAAI Conference on Artificial Intelligence, 2017
1002017
Clause Elimination Procedures for CNF Formulas.
MJH Heule, M Järvisalo, A Biere
LPAR (Yogyakarta) 6397, 357-371, 2010
972010
Automated reencoding of boolean formulas
N Manthey, MJH Heule, A Biere
Hardware and Software: Verification and Testing: 8th International Haifa …, 2013
922013
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
842011
Verifying refutations with extended resolution
MJH Heule, WA Hunt, N Wetzler
Automated Deduction–CADE-24: 24th International Conference on Automated …, 2013
822013
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
812017
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
812015
Proceedings of SAT Competition 2014
A Belov, D Diepold, MJH Heule, M Järvisalo
University of Helsinki, 2014
79*2014
Look-Ahead Based SAT Solvers.
M Heule, H van Maaren
Handbook of satisfiability 185, 155-184, 2009
792009
The science of brute force
MJH Heule, O Kullmann
Communications of the ACM 60 (8), 70-79, 2017
742017
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20