×

zbMATH — the first resource for mathematics

Heule, Marijn J. H.

Compute Distance To:
Author ID: heule.marijn-j-h Recent zbMATH articles by "Heule, Marijn J. H."
Published as: Heule, M. J. H.; Heule, Marijn; Heule, Marijn J. H.
Documents Indexed: 60 Publications since 2005, including 3 Books

Publications by Year

Citations contained in zbMATH

40 Publications have been cited 384 times in 240 Documents Cited by Year
Handbook of satisfiability. Zbl 1183.68568
Biere, Armin (ed.); Heule, Marijn (ed.); van Maaren, Hans (ed.); Walsh, Toby (ed.)
133
2009
Inprocessing rules. Zbl 1358.68256
Järvisalo, Matti; Heule, Marijn J. H.; Biere, Armin
26
2012
Blocked clause elimination. Zbl 1284.03208
Järvisalo, Matti; Biere, Armin; Heule, Marijn
25
2010
DRAT-trim: efficient checking and trimming using expressive clausal proofs. Zbl 1423.68475
Wetzler, Nathan; Heule, Marijn J. H.; Hunt, Warren A. jun.
23
2014
Solving and verifying the Boolean Pythagorean triples problem via cube-and-conquer. Zbl 1403.68226
Heule, Marijn J. H.; Kullmann, Oliver; Marek, Victor W.
18
2016
Clause elimination procedures for CNF formulas. Zbl 1306.68144
Heule, Marijn; Järvisalo, Matti; Biere, Armin
14
2010
A unified proof system for QBF preprocessing. Zbl 1409.68257
Heule, Marijn J. H.; Seidl, Martina; Biere, Armin
12
2014
Simulating circuit-level simplifications on CNF. Zbl 1267.94144
Järvisalo, Matti; Biere, Armin; Heule, Marijn J. H.
12
2012
Exact DFA identification using SAT solvers. Zbl 1291.68192
Heule, Marijn J. H.; Verwer, Sicco
12
2010
Clause elimination for SAT and QSAT. Zbl 1336.68231
Heule, Marijn; Järvisalo, Matti; Lonsing, Florian; Seidl, Martina; Biere, Armin
11
2015
Efficient CNF simplification based on binary implication graphs. Zbl 1330.68269
Heule, Marijn J. H.; Järvisalo, Matti; Biere, Armin
11
2011
A new method to construct lower bounds for van der Waerden numbers. Zbl 1115.05092
Herwig, P. R.; Heule, M. J. H.; van Lambalgen, P. M.; van Maaren, H.
8
2007
Efficient certified RAT verification. Zbl 06778406
Cruz-Filipe, Luís; Heule, Marijn J. H.; Hunt Jr., Warren A.; Kaufmann, Matt; Schneider-Kamp, Peter
6
2017
Verifying refutations with extended resolution. Zbl 1381.68270
Heule, Marijn J. H.; Hunt, Warren A. jun.; Wetzler, Nathan
6
2013
March_eq: Implementing additional reasoning into an efficient look-ahead SAT solver. Zbl 1122.68599
Heule, Marijn; Dufour, Mark; van Zwieten, Joris; van Maaren, Hans
6
2005
Expressing symmetry breaking in DRAT proofs. Zbl 06515534
Heule, Marijn J. H.; Hunt, Warren A. jun.; Wetzler, Nathan
5
2015
Blocked clause decomposition. Zbl 1407.68451
Heule, Marijn J. H.; Biere, Armin
5
2013
A SAT approach to clique-width. Zbl 1354.68240
Heule, Marijn J. H.; Szeider, Stefan
4
2015
Dynamic symmetry breaking by simulating Zykov contraction. Zbl 1247.68260
Schaafsma, Bas; Heule, Marijn J. H.; van Maaren, Hans
4
2009
What a difference a variable makes. Zbl 1423.68419
Heule, Marijn J. H.; Biere, Armin
3
2018
Extended resolution simulates \({\mathsf{DRAT}}\). Zbl 1441.68278
Kiesl, Benjamin; Rebola-Pardo, Adrián; Heule, Marijn J. H.
3
2018
Efficient, verified checking of propositional proofs. Zbl 06821857
Heule, Marijn; Hunt, Warren jun.; Kaufmann, Matt; Wetzler, Nathan
3
2017
Short proofs without new variables. Zbl 06778401
Heule, Marijn J. H.; Kiesl, Benjamin; Biere, Armin
3
2017
Everything you always wanted to know about blocked sets (but were afraid to ask). Zbl 1423.68435
Balyo, Tomáš; Fröhlich, Andreas; Heule, Marijn J. H.; Biere, Armin
3
2014
Mechanical verification of SAT refutations with extended resolution. Zbl 1317.68236
Wetzler, Nathan; Heule, Marijn J. H.; Hunt, Warren A. jun.
3
2013
Effective incorporation of double look-ahead procedures. Zbl 1214.68356
Heule, Marijn; van Maaren, Hans
3
2007
Computing small unit-distance graphs with chromatic number 5. Zbl 1404.05054
Heule, Marijn J. H.
2
2018
Compositional propositional proofs. Zbl 06528799
Heule, Marijn J. H.; Biere, Armin
2
2015
MUS extraction using clausal proofs. Zbl 1423.68436
Belov, Anton; Heule, Marijn J. H.; Marques-Silva, Joao
2
2014
Symmetry in Gardens of Eden. Zbl 1295.68164
Hartman, Christiaan; Heule, Marijn J. H.; Kwekkeboom, Kees; Noels, Alain
2
2013
A SAT approach to clique-width. Zbl 1390.68501
Heule, Marijn J. H.; Szeider, Stefan
2
2013
Sums of squares based approximation algorithms for MAX-SAT. Zbl 1152.68058
van Maaren, H.; van Norden, L.; Heule, M. J. H.
2
2008
March_dl: adding adaptive heuristics and a new branching strategy. Zbl 1116.68085
Heule, Marijn J. H.; van Maaren, Hans
2
2006
Aligning CNF- and equivalence-reasoning. Zbl 1122.68600
Heule, Marijn; van Maaren, Hans
2
2005
Strong extension-free proof systems. Zbl 07176609
Heule, Marijn J. H.; Kiesl, Benjamin; Biere, Armin
1
2020
Local search for fast matrix multiplication. Zbl 1441.68225
Heule, Marijn J. H.; Kauers, Manuel; Seidl, Martina
1
2019
Solution validation and extraction for QBF preprocessing. Zbl 1409.68258
Heule, Marijn J. H.; Seidl, Martina; Biere, Armin
1
2017
Reusing the assignment trail in CDCL solvers. Zbl 1331.68214
van der Tak, Peter; Ramos, Antonio; Heule, Marijn
1
2011
Whose side are you on? Finding solutions in a biased search-tree. Zbl 1170.68595
Heule, Marijn J. H.; van Maaren, Hans
1
2008
Parallel SAT solving using bit-level operations. Zbl 1170.68594
Heule, Marijn J. H.; van Maaren, Hans
1
2008
Strong extension-free proof systems. Zbl 07176609
Heule, Marijn J. H.; Kiesl, Benjamin; Biere, Armin
1
2020
Local search for fast matrix multiplication. Zbl 1441.68225
Heule, Marijn J. H.; Kauers, Manuel; Seidl, Martina
1
2019
What a difference a variable makes. Zbl 1423.68419
Heule, Marijn J. H.; Biere, Armin
3
2018
Extended resolution simulates \({\mathsf{DRAT}}\). Zbl 1441.68278
Kiesl, Benjamin; Rebola-Pardo, Adrián; Heule, Marijn J. H.
3
2018
Computing small unit-distance graphs with chromatic number 5. Zbl 1404.05054
Heule, Marijn J. H.
2
2018
Efficient certified RAT verification. Zbl 06778406
Cruz-Filipe, Luís; Heule, Marijn J. H.; Hunt Jr., Warren A.; Kaufmann, Matt; Schneider-Kamp, Peter
6
2017
Efficient, verified checking of propositional proofs. Zbl 06821857
Heule, Marijn; Hunt, Warren jun.; Kaufmann, Matt; Wetzler, Nathan
3
2017
Short proofs without new variables. Zbl 06778401
Heule, Marijn J. H.; Kiesl, Benjamin; Biere, Armin
3
2017
Solution validation and extraction for QBF preprocessing. Zbl 1409.68258
Heule, Marijn J. H.; Seidl, Martina; Biere, Armin
1
2017
Solving and verifying the Boolean Pythagorean triples problem via cube-and-conquer. Zbl 1403.68226
Heule, Marijn J. H.; Kullmann, Oliver; Marek, Victor W.
18
2016
Clause elimination for SAT and QSAT. Zbl 1336.68231
Heule, Marijn; Järvisalo, Matti; Lonsing, Florian; Seidl, Martina; Biere, Armin
11
2015
Expressing symmetry breaking in DRAT proofs. Zbl 06515534
Heule, Marijn J. H.; Hunt, Warren A. jun.; Wetzler, Nathan
5
2015
A SAT approach to clique-width. Zbl 1354.68240
Heule, Marijn J. H.; Szeider, Stefan
4
2015
Compositional propositional proofs. Zbl 06528799
Heule, Marijn J. H.; Biere, Armin
2
2015
DRAT-trim: efficient checking and trimming using expressive clausal proofs. Zbl 1423.68475
Wetzler, Nathan; Heule, Marijn J. H.; Hunt, Warren A. jun.
23
2014
A unified proof system for QBF preprocessing. Zbl 1409.68257
Heule, Marijn J. H.; Seidl, Martina; Biere, Armin
12
2014
Everything you always wanted to know about blocked sets (but were afraid to ask). Zbl 1423.68435
Balyo, Tomáš; Fröhlich, Andreas; Heule, Marijn J. H.; Biere, Armin
3
2014
MUS extraction using clausal proofs. Zbl 1423.68436
Belov, Anton; Heule, Marijn J. H.; Marques-Silva, Joao
2
2014
Verifying refutations with extended resolution. Zbl 1381.68270
Heule, Marijn J. H.; Hunt, Warren A. jun.; Wetzler, Nathan
6
2013
Blocked clause decomposition. Zbl 1407.68451
Heule, Marijn J. H.; Biere, Armin
5
2013
Mechanical verification of SAT refutations with extended resolution. Zbl 1317.68236
Wetzler, Nathan; Heule, Marijn J. H.; Hunt, Warren A. jun.
3
2013
Symmetry in Gardens of Eden. Zbl 1295.68164
Hartman, Christiaan; Heule, Marijn J. H.; Kwekkeboom, Kees; Noels, Alain
2
2013
A SAT approach to clique-width. Zbl 1390.68501
Heule, Marijn J. H.; Szeider, Stefan
2
2013
Inprocessing rules. Zbl 1358.68256
Järvisalo, Matti; Heule, Marijn J. H.; Biere, Armin
26
2012
Simulating circuit-level simplifications on CNF. Zbl 1267.94144
Järvisalo, Matti; Biere, Armin; Heule, Marijn J. H.
12
2012
Efficient CNF simplification based on binary implication graphs. Zbl 1330.68269
Heule, Marijn J. H.; Järvisalo, Matti; Biere, Armin
11
2011
Reusing the assignment trail in CDCL solvers. Zbl 1331.68214
van der Tak, Peter; Ramos, Antonio; Heule, Marijn
1
2011
Blocked clause elimination. Zbl 1284.03208
Järvisalo, Matti; Biere, Armin; Heule, Marijn
25
2010
Clause elimination procedures for CNF formulas. Zbl 1306.68144
Heule, Marijn; Järvisalo, Matti; Biere, Armin
14
2010
Exact DFA identification using SAT solvers. Zbl 1291.68192
Heule, Marijn J. H.; Verwer, Sicco
12
2010
Handbook of satisfiability. Zbl 1183.68568
Biere, Armin (ed.); Heule, Marijn (ed.); van Maaren, Hans (ed.); Walsh, Toby (ed.)
133
2009
Dynamic symmetry breaking by simulating Zykov contraction. Zbl 1247.68260
Schaafsma, Bas; Heule, Marijn J. H.; van Maaren, Hans
4
2009
Sums of squares based approximation algorithms for MAX-SAT. Zbl 1152.68058
van Maaren, H.; van Norden, L.; Heule, M. J. H.
2
2008
Whose side are you on? Finding solutions in a biased search-tree. Zbl 1170.68595
Heule, Marijn J. H.; van Maaren, Hans
1
2008
Parallel SAT solving using bit-level operations. Zbl 1170.68594
Heule, Marijn J. H.; van Maaren, Hans
1
2008
A new method to construct lower bounds for van der Waerden numbers. Zbl 1115.05092
Herwig, P. R.; Heule, M. J. H.; van Lambalgen, P. M.; van Maaren, H.
8
2007
Effective incorporation of double look-ahead procedures. Zbl 1214.68356
Heule, Marijn; van Maaren, Hans
3
2007
March_dl: adding adaptive heuristics and a new branching strategy. Zbl 1116.68085
Heule, Marijn J. H.; van Maaren, Hans
2
2006
March_eq: Implementing additional reasoning into an efficient look-ahead SAT solver. Zbl 1122.68599
Heule, Marijn; Dufour, Mark; van Zwieten, Joris; van Maaren, Hans
6
2005
Aligning CNF- and equivalence-reasoning. Zbl 1122.68600
Heule, Marijn; van Maaren, Hans
2
2005
all top 5

Cited by 491 Authors

14 Biere, Armin
14 Marques-Silva, João P.
13 Heule, Marijn J. H.
9 Seidl, Martina
8 Janota, Mikoláš
7 Schaub, Torsten H.
7 Szeider, Stefan
6 Järvisalo, Matti
6 Lonsing, Florian
6 Semenov, Aleksandr Anatol’evich
5 Bright, Curtis
5 Ganesh, Vijay
5 Hoos, Holger H.
5 Kiesl, Benjamin
5 Kotsireas, Ilias S.
5 Kullmann, Oliver
5 Lindauer, Marius
5 Mencía, Carlos
5 Weidenbach, Christoph
4 Ábrahám, Erika
4 Ignatyev, Alexey A.
4 Kaufmann, Benjamin
4 Leyton-Brown, Kevin
4 Saïs, Lakhdar
3 Alves Rocha, Thiago
3 Balyo, Tomáš
3 Cruz-Filipe, Luís
3 Davenport, James Harold
3 England, Matthew
3 Gebser, Martin
3 Jabbour, Said
3 Kauers, Manuel
3 Lagniez, Jean-Marie
3 Levy, Jordi
3 Manthey, Norbert
3 Marić, Filip
3 Martins, Ana Teresa
3 Ordyniak, Sebastian
3 Philipp, Tobias
3 Ricca, Francesco
3 Schneider-Kamp, Peter
3 Sebastiani, Roberto
3 Sinz, Carsten
3 Slivovsky, Friedrich
3 Suda, Martin
3 Verwer, Sicco
2 Amendola, Giovanni
2 Anjos, Miguel F.
2 Ansótegui, Carlos
2 Arif, M. Fareed
2 Audemard, Gilles
2 Balabanov, Valeriy
2 Banbara, Mutsunori
2 Becker, Bernd
2 Berg, Jeremias
2 Beyersdorff, Olaf
2 Blanchette, Jasmin Christian
2 Chew, Leroy
2 Chivilikhin, D. S.
2 Codish, Michael
2 Courcelle, Bruno
2 Czarnecki, Krzysztof
2 Dodaro, Carmine
2 Egly, Uwe
2 Fichte, Johannes Klaus
2 Fleury, Mathias
2 Fontaine, Pascal
2 Giráldez-Cru, Jesús
2 Griggio, Alberto
2 Guller, Dušan
2 Hamadi, Youssef
2 Heggernes, Pinar
2 Heinle, Albert
2 Hutter, Frank
2 Hyttinen, Antti
2 Iser, Markus
2 Kochemazov, Stepan
2 Korovin, Konstantin
2 Kremer, Gereon
2 Kronegger, Martin
2 Kröning, Daniel
2 Lammich, Peter
2 Lynce, Inês
2 Marquis, Pierre
2 Martins Ferreira, Francicleber
2 Miller, Dale Allen
2 Otpuschennikov, Ilya V.
2 Otpushchennikov, Il’ya Vladimirovich
2 Passerini, Andrea
2 Peitl, Tomáš
2 Peñaloza, Rafael
2 Pfandler, Andreas
2 Previti, Alessandro
2 Rebola-Pardo, Adrián
2 Revuelta, M. Pastora
2 Sabharwal, Ashish
2 Sahai, Tuhin
2 Sanz Domínguez, María Isabel
2 Scheucher, Manfred
2 Schmidt, Renate A.
...and 391 more Authors
all top 5

Cited in 64 Serials

26 Artificial Intelligence
22 Journal of Automated Reasoning
11 Theoretical Computer Science
7 Journal of Symbolic Computation
6 Discrete Applied Mathematics
6 Constraints
6 Theory and Practice of Logic Programming
4 Journal of Computer and System Sciences
4 International Journal of Approximate Reasoning
4 Annals of Mathematics and Artificial Intelligence
3 Automation and Remote Control
3 Formal Methods in System Design
3 ACM Transactions on Computational Logic
3 Mathematics in Computer Science
2 Formal Aspects of Computing
2 Annals of Operations Research
2 Machine Learning
2 The Journal of Artificial Intelligence Research (JAIR)
2 Journal of Heuristics
2 Logical Methods in Computer Science
2 Journal of Logical and Algebraic Methods in Programming
1 Acta Informatica
1 Computers & Mathematics with Applications
1 Advances in Mathematics
1 Computing
1 Fuzzy Sets and Systems
1 Information Sciences
1 Journal of Combinatorial Theory. Series A
1 Journal of Number Theory
1 SIAM Journal on Computing
1 European Journal of Combinatorics
1 Mathematical Social Sciences
1 Journal of Computer Science and Technology
1 Algorithmica
1 Discrete & Computational Geometry
1 Computers & Operations Research
1 SIAM Journal on Discrete Mathematics
1 Japan Journal of Industrial and Applied Mathematics
1 Computational Geometry
1 International Journal of Algebra and Computation
1 European Journal of Operational Research
1 Applicable Algebra in Engineering, Communication and Computing
1 Computational Complexity
1 Experimental Mathematics
1 Journal of Computer and Systems Sciences International
1 Turkish Journal of Mathematics
1 Advances in Applied Clifford Algebras
1 The Electronic Journal of Combinatorics
1 Top
1 Mathematical Problems in Engineering
1 Theory of Computing Systems
1 Nonlinear Dynamics
1 Fundamenta Informaticae
1 SIAM Journal on Applied Dynamical Systems
1 Computer Languages, Systems & Structures
1 4OR
1 ACM Journal of Experimental Algorithmics
1 Journal of Discrete Algorithms
1 Fuzzy Optimization and Decision Making
1 Symmetry
1 Diskretnyĭ Analiz i Issledovanie Operatsiĭ
1 Journal of Theoretical Biology
1 Frontiers of Computer Science
1 DML. Discrete Mathematics Letters

Citations by Year