default search action

combined dblp search
author search
venue search
publication search

ask others

Marijn Heule

Marijn J. H. Heule – M. J. H. Heule

> Home > Persons

Person information

affiliation: Carnegie Mellon University, Pittsburgh, PA, USA
affiliation (former): University of Texas at Austin, USA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2025
[j34]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jair/BryantNAH25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/BryantNAH25
Randal E. Bryant, Wojciech Nawrocki, Jeremy Avigad, Marijn J. H. Heule:
Certified Knowledge Compilation with Application to Formally Verified Model Counting. J. Artif. Intell. Res. 82 (2025)
[c114]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/ReevesFHMH25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/ReevesFHMH25
Joseph E. Reeves, João Filipe, Min-Chien Hsu, Ruben Martins, Marijn J. H. Heule:
The Impact of Literal Sorting on Cardinality Constraint Encodings. AAAI 2025: 11327-11335
[i34]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2501-12906
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2501-12906
Randal E. Bryant, Wojciech Nawrocki, Jeremy Avigad, Marijn J. H. Heule:
Certified Knowledge Compilation with Application to Formally Verified Model Counting. CoRR abs/2501.12906 (2025)
2024
[c113]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/ReevesHB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ReevesHB24
Joseph E. Reeves, Marijn J. H. Heule, Randal E. Bryant:
From Clauses to Klauses [inline-graphic not available: see fulltext]. CAV (1) 2024: 110-132
[c112]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/ZhouBLHP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/ZhouBLHP24
Yi Zhou, Jay Bosamiya, Jessica Li, Marijn J. H. Heule, Bryan Parno:
Context Pruning for More Robust SMT-based Program Verification. FMCAD 2024: 1-11
[c111]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/NukalaCBH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/NukalaCBH24
Karthik V. Nukala, Soumyaditya Choudhuri, Randal E. Bryant, Marijn J. H. Heule:
Translating Pseudo-Boolean Proofs into Boolean Clausal Proofs. FMCAD 2024: 175-185
[c110]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/CodelAH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/CodelAH24
Cayden R. Codel, Jeremy Avigad, Marijn J. H. Heule:
Verified Substitution Redundancy Checking. FMCAD 2024: 186-196
[c109]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fun/GarrisonHS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fun/GarrisonHS24
Thomas Garrison, Marijn J. H. Heule, Bernardo Subercaseaux:
PackIt!: Gamified Rectangle Packing. FUN 2024: 14:1-14:19
[c108]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/itp/SubercaseauxNGC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/SubercaseauxNGC24
Bernardo Subercaseaux, Wojciech Nawrocki, James Gallicchio, Cayden R. Codel, Mario Carneiro, Marijn J. H. Heule:
Formal Verification of the Empty Hexagon Number. ITP 2024: 35:1-35:19
[c107]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/SubercaseauxMHM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/SubercaseauxMHM24
Bernardo Subercaseaux, John Mackey, Marijn J. H. Heule, Ruben Martins:
Automated Mathematical Discovery and Verification: Minimizing Pentagons in the Plane. CICM 2024: 21-41
[c106]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/sat/0002KSHD24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/0002KSHD24
Jiong Yang, Yaroslav A. Kharkov, Yunong Shi, Marijn J. H. Heule, Bruno Dutertre:
Quantum Circuit Mapping Based on Incremental and Parallel SAT Solving. SAT 2024: 29:1-29:18
[c105]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/ChowdhuryCH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ChowdhuryCH24
Md. Solimul Chowdhury, Cayden R. Codel, Marijn J. H. Heule:
TaSSAT: Transfer and Share SAT. TACAS (1) 2024: 34-42
[c104]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/HeuleS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HeuleS24
Marijn J. H. Heule, Manfred Scheucher:
Happy Ending: An Empty Hexagon in Every Set of 30 Points. TACAS (1) 2024: 61-80
[e7]
- view
  authority control:
- export record
  dblp key:
  - conf/ijcar/2024-1
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcar/2024-1
Christoph Benzmüller, Marijn J. H. Heule, Renate A. Schmidt:
Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I. Lecture Notes in Computer Science 14739, Springer 2024, ISBN 978-3-031-63497-0 [contents]
[e6]
- view
  authority control:
- export record
  dblp key:
  - conf/ijcar/2024-2
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcar/2024-2
Christoph Benzmüller, Marijn J. H. Heule, Renate A. Schmidt:
Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II. Lecture Notes in Computer Science 14740, Springer 2024, ISBN 978-3-031-63500-7 [contents]
[e5]
- view
- export record
  dblp key:
  - conf/lpar/2024c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/2024c
Nikolaj S. Bjørner, Marijn Heule, Andrei Voronkov:
LPAR 2024 Complementary Volume, Port Louis, Mauritius, May 26-31, 2024. Kalpa Publications in Computing 18, EasyChair 2024 [contents]
[e4]
- view
- export record
  dblp key:
  - conf/lpar/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/2024
Nikolaj S. Bjørner, Marijn Heule, Andrei Voronkov:
LPAR 2024: Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning, Port Louis, Mauritius, May 26-31, 2024. EPiC Series in Computing 100, EasyChair 2024 [contents]
[d6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/11/SubercaseauxNGCCH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/SubercaseauxNGCCH24
Bernardo Subercaseaux, Wojciech Nawrocki, James Gallicchio, Cayden R. Codel, Mario Carneiro, Marijn J. H. Heule:
EmptyHexagonLean. DROPS Artifacts, 2024
[i33]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-00737
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-00737
Marijn J. H. Heule, Manfred Scheucher:
Happy Ending: An Empty Hexagon in Every Set of 30 Points. CoRR abs/2403.00737 (2024)
[i32]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-12195
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-12195
Thomas Garrison, Marijn J. H. Heule, Bernardo Subercaseaux:
PackIt! Gamified Rectangle Packing. CoRR abs/2403.12195 (2024)
[i31]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-17370
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-17370
Bernardo Subercaseaux, Wojciech Nawrocki, James Gallicchio, Cayden R. Codel, Mario Carneiro, Marijn J. H. Heule:
Formal Verification of the Empty Hexagon Number. CoRR abs/2403.17370 (2024)
2023
[j33]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jar/YolcuAH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/YolcuAH23
Emre Yolcu, Scott Aaronson, Marijn J. H. Heule:
An Automated Approach to the Collatz Conjecture. J. Autom. Reason. 67(2): 15 (2023)
[j32]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jar/ReevesHB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ReevesHB23
Joseph E. Reeves, Marijn J. H. Heule, Randal E. Bryant:
Preprocessing of Propagation Redundant Clauses. J. Autom. Reason. 67(3): 31 (2023)
[j31]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/sttt/TanHM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/TanHM23
Yong Kiam Tan, Marijn J. H. Heule, Magnus O. Myreen:
Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML. Int. J. Softw. Tools Technol. Transf. 25(2): 167-184 (2023)
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/tamm/AvigadBBHN23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tamm/AvigadBBHN23
Jeremy Avigad, Seulkee Baek, Alexander Bentkamp, Marijn Heule, Wojciech Nawrocki:
An Impossible Asylum. Am. Math. Mon. 130(5): 446-453 (2023)
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/VukmirovicBH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/VukmirovicBH23
Petar Vukmirovic, Jasmin Blanchette, Marijn J. H. Heule:
SAT-Inspired Eliminations for Superposition. ACM Trans. Comput. Log. 24(1): 7:1-7:25 (2023)
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/BryantH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/BryantH23
Randal E. Bryant, Marijn J. H. Heule:
Generating Extended Resolution Proofs with a BDD-Based SAT Solver. ACM Trans. Comput. Log. 24(4): 31:1-31:28 (2023)
[c103]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/CodelAH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/CodelAH23
Cayden R. Codel, Jeremy Avigad, Marijn J. H. Heule:
Verified Encodings for SAT Solvers. FMCAD 2023: 141-151
[c102]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/ZhouBTLHP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/ZhouBTLHP23
Yi Zhou, Jay Bosamiya, Yoshiki Takashima, Jessica Li, Marijn Heule, Bryan Parno:
Mariposa: Measuring SMT Instability in Automated Program Verification. FMCAD 2023: 178-188
[c101]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/Heule23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/Heule23
Marijn J. H. Heule:
Without Loss of Satisfaction. ICTAC 2023: 4-14
[c100]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/innovations/YolcuH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/innovations/YolcuH23
Emre Yolcu, Marijn J. H. Heule:
Exponential Separations Using Guarded Extension Variables. ITCS 2023: 101:1-101:22
[c99]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/SubercaseauxH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/SubercaseauxH23
Bernardo Subercaseaux, Marijn Heule:
Toward Optimal Radio Colorings of Hypercubes via SAT-solving. LPAR 2023: 386-404
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/ChowdhuryCH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/ChowdhuryCH23
Md. Solimul Chowdhury, Cayden R. Codel, Marijn J. H. Heule:
A Linear Weight Transfer Rule for Local Search. NFM 2023: 447-463
[c97]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/sat/BryantNAH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/BryantNAH23
Randal E. Bryant, Wojciech Nawrocki, Jeremy Avigad, Marijn J. H. Heule:
Certified Knowledge Compilation with Application to Verified Model Counting. SAT 2023: 6:1-6:20
[c96]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/sat/HaberlandtGH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/HaberlandtGH23
Andrew Haberlandt, Harrison Green, Marijn J. H. Heule:
Effective Auxiliary Variables via Structured Reencoding. SAT 2023: 11:1-11:19
[c95]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/sat/BiereFFH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/BiereFFH23
Armin Biere, Mathias Fleury, Nils Froleyks, Marijn J. H. Heule:
The SAT Museum. POS@SAT 2023: 72-87
[c94]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/ReevesKH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ReevesKH23
Joseph E. Reeves, Benjamin Kiesl-Reiter, Marijn J. H. Heule:
Propositional Proof Skeletons. TACAS (1) 2023: 329-347
[c93]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/MichaelsonSHKW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/MichaelsonSHKW23
Dawn Michaelson, Dominik Schreiber, Marijn J. H. Heule, Benjamin Kiesl-Reiter, Michael W. Whalen:
Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers. TACAS (1) 2023: 348-366
[c92]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/SubercaseauxH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/SubercaseauxH23
Bernardo Subercaseaux, Marijn J. H. Heule:
The Packing Chromatic Number of the Infinite Square Grid is 15. TACAS (1) 2023: 389-406
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/vissoft/LiGHR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vissoft/LiGHR23
Runming Li, Keerthana Gurushankar, Marijn J. H. Heule, Kristin Yvonne Rozier:
What's in a Name? Linear Temporal Logic Literally Represents Time Lines. VISSOFT 2023: 73-83
[d5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/BiereFFH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BiereFFH23
Armin Biere, Mathias Fleury, Nils Froleyks, Marijn Heule:
The SAT Museum POS'23 Artifact. Zenodo, 2023
[d4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/ChowdhuryCH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/ChowdhuryCH23
Md. Solimul Chowdhury, Cayden R. Codel, Marijn Heule:
Artifact for TaSSAT: A Stochastic Local Search Solver for SAT. Zenodo, 2023
[i30]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2301-09757
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2301-09757
Bernardo Subercaseaux, Marijn J. H. Heule:
The Packing Chromatic Number of the Infinite Square Grid is 15. CoRR abs/2301.09757 (2023)
[i29]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-14894
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-14894
Md. Solimul Chowdhury, Cayden R. Codel, Marijn J. H. Heule:
A Linear Weight Transfer Rule for Local Search. CoRR abs/2303.14894 (2023)
[i28]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-01904
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-01904
Andrew Haberlandt, Harrison Green, Marijn J. H. Heule:
Effective Auxiliary Variables via Structured Reencoding. CoRR abs/2307.01904 (2023)
[i27]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-03645
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-03645
Bernardo Subercaseaux, John Mackey, Marijn J. H. Heule, Ruben Martins:
Minimizing Pentagons in the Plane through Automated Reasoning. CoRR abs/2311.03645 (2023)
[i26]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/HeuleLSS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/HeuleLSS23
Marijn J. H. Heule, Inês Lynce, Stefan Szeider, André Schidler:
SAT Encodings and Beyond (Dagstuhl Seminar 23261). Dagstuhl Reports 13(6): 106-122 (2023)
2022
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/gc/NeimanMH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/gc/NeimanMH22
David Neiman, John Mackey, Marijn Heule:
Tighter Bounds on Directed Ramsey Number R(7). Graphs Comb. 38(5): 156 (2022)
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BrakensiekHMN22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BrakensiekHMN22
Joshua Brakensiek, Marijn Heule, John Mackey, David E. Narváez:
The Resolution of Keller's Conjecture. J. Autom. Reason. 66(3): 277-300 (2022)
[j25]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/BaekCH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/BaekCH22
Seulkee Baek, Mario Carneiro, Marijn J. H. Heule:
A Flexible Proof Format for SAT Solver-Elaborator Communication. Log. Methods Comput. Sci. 18(2) (2022)
[c90]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cade/ReevesHB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/ReevesHB22
Joseph E. Reeves, Marijn J. H. Heule, Randal E. Bryant:
Preprocessing of Propagation Redundant Clauses. IJCAR 2022: 106-124
[c89]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cp/HeuleKH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/HeuleKH22
Marijn J. H. Heule, Anthony Karahalios, Willem-Jan van Hoeve:
From Cliques to Colorings and Back Again. CP 2022: 26:1-26:10
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/LohnLH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/LohnLH22
Evan Lohn, Chris Lambert, Marijn J. H. Heule:
Compact Symmetry Breaking for Tournaments. FMCAD 2022: 179-188
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/micro/GobieskiGHMNBL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/micro/GobieskiGHMNBL22
Graham Gobieski, Souradip Ghosh, Marijn Heule, Todd C. Mowry, Tony Nowatzki, Nathan Beckmann, Brandon Lucia:
A programmable, energy-minimal dataflow compiler and architecture. MICRO 2022: 546-564
[c86]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/sat/ChewH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/ChewH22
Leroy Chew, Marijn J. H. Heule:
Relating Existing Powerful Proof Systems for QBF. SAT 2022: 10:1-10:22
[c85]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/sat/SubercaseauxH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/SubercaseauxH22
Bernardo Subercaseaux, Marijn J. H. Heule:
The Packing Chromatic Number of the Infinite Square Grid Is at Least 14. SAT 2022: 21:1-21:16
[c84]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/sat/BiereCHKW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/BiereCHKW22
Armin Biere, Md. Solimul Chowdhury, Marijn J. H. Heule, Benjamin Kiesl, Michael W. Whalen:
Migrating Solver State. SAT 2022: 27:1-27:24
[c83]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/BryantBH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BryantBH22
Randal E. Bryant, Armin Biere, Marijn J. H. Heule:
Clausal Proofs for Pseudo-Boolean Reasoning. TACAS (1) 2022: 443-461
[c82]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/ReevesHB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ReevesHB22
Joseph E. Reeves, Marijn J. H. Heule, Randal E. Bryant:
Moving Definition Variables in Quantified Boolean Formulas. TACAS (1) 2022: 462-479
[i25]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-11284
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-11284
Isaac Grosof, Naifeng Zhang, Marijn J. H. Heule:
Towards the shortest DRAT proof of the Pigeonhole Principle. CoRR abs/2207.11284 (2022)
[i24]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2211-12456
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2211-12456
Emre Yolcu, Marijn J. H. Heule:
Exponential separations using guarded extension variables. CoRR abs/2211.12456 (2022)
2021
[j24]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ai/FroleyksHIJS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/FroleyksHIJS21
Nils Froleyks, Marijn Heule, Markus Iser, Matti Järvisalo, Martin Suda:
SAT Competition 2020. Artif. Intell. 301: 103572 (2021)
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/HeuleKS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/HeuleKS21
Marijn J. H. Heule, Manuel Kauers, Martina Seidl:
New ways to multiply 3 × 3-matrices. J. Symb. Comput. 104: 899-916 (2021)
[c81]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cade/BryantH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BryantH21
Randal E. Bryant, Marijn J. H. Heule:
Dual Proof Generation for Quantified Boolean Formulas with a BDD-based Solver. CADE 2021: 433-449
[c80]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cade/YolcuAH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/YolcuAH21
Emre Yolcu, Scott Aaronson, Marijn J. H. Heule:
An Automated Approach to the Collatz Conjecture. CADE 2021: 468-484
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/VukmirovicBH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/VukmirovicBH21
Petar Vukmirovic, Jasmin Blanchette, Marijn J. H. Heule:
SAT-Inspired Eliminations for Superposition. FMCAD 2021: 231-240
[c78]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/nsdi/HanceHMP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nsdi/HanceHMP21
Travis Hance, Marijn Heule, Ruben Martins, Bryan Parno:
Finding Invariants of Distributed Systems: It's a Small (Enough) World After All. NSDI 2021: 115-131
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/Heule21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/Heule21
Marijn J. H. Heule:
Chinese Remainder Encoding for Hamiltonian Cycles. SAT 2021: 216-224
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/NawrockiLFHB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/NawrockiLFHB21
Wojciech Nawrocki, Zhenjun Liu, Andreas Fröhlich, Marijn J. H. Heule, Armin Biere:
XOR Local Search for Boolean Brent Equations. SAT 2021: 417-435
[c75]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/socs/LiuCH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/socs/LiuCH21
Zhenjun Liu, Leroy Chew, Marijn J. H. Heule:
Avoiding Monochromatic Rectangles Using Shift Patterns. SOCS 2021: 225-227
[c74]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/BaekCH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BaekCH21
Seulkee Baek, Mario Carneiro, Marijn J. H. Heule:
A Flexible Proof Format for SAT Solver-Elaborator Communication. TACAS (1) 2021: 59-75
[c73]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/BryantH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BryantH21
Randal E. Bryant, Marijn J. H. Heule:
Generating Extended Resolution Proofs with a BDD-Based SAT Solver. TACAS (1) 2021: 76-93
[c72]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/TanHM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/TanHM21
Yong Kiam Tan, Marijn J. H. Heule, Magnus O. Myreen:
cake_lpr: Verified Propagation Redundancy Checking in CakeML. TACAS (2) 2021: 223-241
[p4]
- view
  authority control:
- export record
  dblp key:
  - series/faia/HeuleM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/HeuleM21
Marijn J. H. Heule, Hans van Maaren:
Look-Ahead Based SAT Solvers. Handbook of Satisfiability 2021: 183-212
[p3]
- view
  authority control:
- export record
  dblp key:
  - series/faia/Heule21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/Heule21
Marijn J. H. Heule:
Proofs of Unsatisfiability. Handbook of Satisfiability 2021: 635-668
[e3]
- view
  authority control:
- export record
  dblp key:
  - series/faia/336
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/336
Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh:
Handbook of Satisfiability - Second Edition. Frontiers in Artificial Intelligence and Applications 336, IOS Press 2021, ISBN 978-1-64368-160-3 [contents]
[d3]
- view
  authority control:
- export record
  dblp key:
  - data/10/VukmirovicBH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/VukmirovicBH21
Petar Vukmirovic, Jasmin Blanchette, Marijn J. H. Heule:
SAT-Inspired Eliminations for Superposition. Version 1. Zenodo, 2021 [all versions]
[d2]
- view
  authority control:
- export record
  dblp key:
  - data/10/VukmirovicBH21a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/VukmirovicBH21a
Petar Vukmirovic, Jasmin Blanchette, Marijn J. H. Heule:
SAT-Inspired Eliminations for Superposition. Version 2. Zenodo, 2021 [all versions]
[i23]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2105-00885
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-00885
Randal E. Bryant, Marijn J. H. Heule:
Generating Extended Resolution Proofs with a BDD-Based SAT Solver. CoRR abs/2105.00885 (2021)
[i22]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2105-14697
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-14697
Emre Yolcu, Scott Aaronson, Marijn J. H. Heule:
An Automated Approach to the Collatz Conjecture. CoRR abs/2105.14697 (2021)
[i21]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2109-09665
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-09665
Seulkee Baek, Mario Carneiro, Marijn J. H. Heule:
A Flexible Proof Format for SAT Solver-Elaborator Communication. CoRR abs/2109.09665 (2021)
[i20]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2112-02142
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-02142
Jeremy Avigad, Seulkee Baek, Alexander Bentkamp, Marijn Heule, Wojciech Nawrocki:
An Impossible Asylum. CoRR abs/2112.02142 (2021)
2020
[j22]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jar/HeuleKB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/HeuleKB20
Marijn J. H. Heule, Benjamin Kiesl, Armin Biere:
Strong Extension-Free Proof Systems. J. Autom. Reason. 64(3): 533-554 (2020)
[j21]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jar/KieslRHB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/KieslRHB20
Benjamin Kiesl, Adrián Rebola-Pardo, Marijn J. H. Heule, Armin Biere:
Simulating Strong Practical Proof Systems with Extended Resolution. J. Autom. Reason. 64(7): 1247-1267 (2020)
[c71]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/WeaverH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/WeaverH20
Sean A. Weaver, Marijn Heule:
Constructing Minimal Perfect Hash Functions Using SAT Technology. AAAI 2020: 1668-1675
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/BrakensiekHMN20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BrakensiekHMN20
Joshua Brakensiek, Marijn Heule, John Mackey, David E. Narváez:
The Resolution of Keller's Conjecture. IJCAR (1) 2020: 48-65
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/SweeneyHP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/SweeneyHP20
Joseph Sweeney, Marijn J. H. Heule, Lawrence T. Pileggi:
Modeling Techniques for Logic Locking. ICCAD 2020: 80:1-80:9
[c68]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/OostemaMH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/OostemaMH20
Peter Oostema, Ruben Martins, Marijn Heule:
Coloring Unit-Distance Strips using SAT. LPAR 2020: 373-389
[c67]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/SweeneyHP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/SweeneyHP20
Joseph Sweeney, Marijn Heule, Lawrence T. Pileggi:
Sensitivity Analysis of Locked Circuits. LPAR 2020: 483-497
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/ChewH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/ChewH20
Leroy Chew, Marijn J. H. Heule:
Sorting Parity Encodings by Reusing Variables. SAT 2020: 1-10
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/YolcuWH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/YolcuWH20
Emre Yolcu, Xinyu Wu, Marijn J. H. Heule:
Mycielski Graphs and PR Proofs. SAT 2020: 201-217
[d1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/BrakensiekHMN20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BrakensiekHMN20
Joshua Brakensiek, Marijn Heule, John Mackey, David E. Narváez:
The Resolution of Keller's Conjecture - Computation Logs. Zenodo, 2020
[i19]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2009-10131
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-10131
Joseph Sweeney, Marijn J. H. Heule, Lawrence T. Pileggi:
Modeling Techniques for Logic Locking. CoRR abs/2009.10131 (2020)
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2012-12582
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-12582
Zhenjun Liu, Leroy Chew, Marijn Heule:
Avoiding Monochromatic Rectangles Using Shift Patterns. CoRR abs/2012.12582 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/cca/HeuleKS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cca/HeuleKS19
Marijn Heule, Manuel Kauers, Martina Seidl:
A family of schemes for multiplying 3 × 3 matrices with 23 coefficient multiplications. ACM Commun. Comput. Algebra 53(3): 118-121 (2019)
[j19]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/HeuleJS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/HeuleJS19
Marijn J. H. Heule, Matti Järvisalo, Martin Suda:
SAT Competition 2018. J. Satisf. Boolean Model. Comput. 11(1): 133-154 (2019)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/mics/Heule19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mics/Heule19
Marijn J. H. Heule:
Optimal Symmetry Breaking for Graph Problems. Math. Comput. Sci. 13(4): 533-548 (2019)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/BreikTHS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BreikTHS19
Keenan Breik, Chris Thachuk, Marijn Heule, David Soloveichik:
Computing properties of stable configurations of thermodynamic binding networks. Theor. Comput. Sci. 785: 17-29 (2019)
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/KieslHB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/KieslHB19
Benjamin Kiesl, Marijn J. H. Heule, Armin Biere:
Truth Assignments as Conditional Autarkies. ATVA 2019: 48-64
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/Heule19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/Heule19
Marijn J. H. Heule:
Trimming Graphs Using Clausal Proof Optimization. CP 2019: 251-267
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/HeuleKB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/HeuleKB19
Marijn J. H. Heule, Benjamin Kiesl, Armin Biere:
Clausal Proofs of Mutilated Chessboards. NFM 2019: 204-210
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/HeuleKS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/HeuleKS19
Marijn J. H. Heule, Manuel Kauers, Martina Seidl:
Local Search for Fast Matrix Multiplication. SAT 2019: 155-163
[c60]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/HeuleKB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HeuleKB19
Marijn J. H. Heule, Benjamin Kiesl, Armin Biere:
Encoding Redundancy for Satisfaction-Driven Clause Learning. TACAS (1) 2019: 41-58
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1903-11391
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-11391
Marijn J. H. Heule, Manuel Kauers, Martina Seidl:
Local Search for Fast Matrix Multiplication. CoRR abs/1903.11391 (2019)
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1905-10192
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-10192
Marijn J. H. Heule, Manuel Kauers, Martina Seidl:
New ways to multiply 3 x 3-matrices. CoRR abs/1905.10192 (2019)
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1907-00929
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-00929
Marijn J. H. Heule:
Trimming Graphs Using Clausal Proof Optimization. CoRR abs/1907.00929 (2019)
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1910-03740
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-03740
Joshua Brakensiek, Marijn Heule, John Mackey:
The Resolution of Keller's Conjecture. CoRR abs/1910.03740 (2019)
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1911-10099
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1911-10099
Sean A. Weaver, Marijn Heule:
Constructing Minimal Perfect Hash Functions Using SAT Technology. CoRR abs/1911.10099 (2019)
2018
[c59]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/Heule18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/Heule18
Marijn J. H. Heule:
Schur Number Five. AAAI 2018: 6598-6606
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/KieslRH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/KieslRH18
Benjamin Kiesl, Adrián Rebola-Pardo, Marijn J. H. Heule:
Extended Resolution Simulates DRAT. IJCAR 2018: 516-531
[c57]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/sat/BiereH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/BiereH18
Armin Biere, Marijn Heule:
The Effect of Scrambling CNFs. POS@SAT 2018: 111-126
[c56]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/HeuleB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HeuleB18
Marijn J. H. Heule, Armin Biere:
What a Difference a Variable Makes. TACAS (2) 2018: 75-92
[p2]
- view
  authority control:
- export record
  dblp key:
  - books/sp/18/HeuleKB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/18/HeuleKB18
Marijn J. H. Heule, Oliver Kullmann, Armin Biere:
Cube-and-Conquer for Satisfiability. Handbook of Parallel Constraint Reasoning 2018: 31-59
2017
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/HeuleK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/HeuleK17
Marijn J. H. Heule, Oliver Kullmann:
The science of brute force. Commun. ACM 60(8): 70-79 (2017)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/HeuleSB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/HeuleSB17
Marijn J. H. Heule, Martina Seidl, Armin Biere:
Solution Validation and Extraction for QBF Preprocessing. J. Autom. Reason. 58(1): 97-125 (2017)
[c55]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/BalyoHJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/BalyoHJ17
Tomás Balyo, Marijn J. H. Heule, Matti Järvisalo:
SAT Competition 2016: Recent Developments. AAAI 2017: 5061-5063
[c54]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cade/MooreH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/MooreH17
J Strother Moore, Marijn J. H. Heule:
Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions. ARCADE@CADE 2017: 42-45
[c53]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cade/HeuleK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/HeuleK17
Marijn Heule, Benjamin Kiesl:
The Potential of Interference-Based Proof Systems. ARCADE@CADE 2017: 51-54
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/HeuleKB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/HeuleKB17
Marijn J. H. Heule, Benjamin Kiesl, Armin Biere:
Short Proofs Without New Variables. CADE 2017: 130-147
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/Cruz-FilipeHHKS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/Cruz-FilipeHHKS17
Luís Cruz-Filipe, Marijn J. H. Heule, Warren A. Hunt Jr., Matt Kaufmann, Peter Schneider-Kamp:
Efficient Certified RAT Verification. CADE 2017: 220-236
[c50]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/gcai/Heule17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gcai/Heule17
Marijn Heule:
Everything's Bigger in Texas: "The Largest Math Proof Ever". GCAI 2017: 1-5
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/HeuleKSB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/HeuleKSB17
Marijn J. H. Heule, Benjamin Kiesl, Martina Seidl, Armin Biere:
PRuning Through Satisfaction. Haifa Verification Conference 2017: 179-194
[c48]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/HeuleKM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/HeuleKM17
Marijn J. H. Heule, Oliver Kullmann, Victor W. Marek:
Solving Very Hard Problems: Cube-and-Conquer, a Hybrid SAT Solving Method. IJCAI 2017: 4864-4868
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/HeuleHKW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/HeuleHKW17
Marijn Heule, Warren A. Hunt Jr., Matt Kaufmann, Nathan Wetzler:
Efficient, Verified Checking of Propositional Proofs. ITP 2017: 269-284
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/KieslHS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/KieslHS17
Benjamin Kiesl, Marijn J. H. Heule, Martina Seidl:
A Little Blocked Literal Goes a Long Way. SAT 2017: 281-297
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/WustholzOHD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/WustholzOHD17
Valentin Wüstholz, Oswaldo Olivo, Marijn J. H. Heule, Isil Dillig:
Static Detection of DoS Vulnerabilities in Programs that Use Regular Expressions. TACAS (2) 2017: 3-20
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/FazekasHSB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/FazekasHSB17
Katalin Fazekas, Marijn J. H. Heule, Martina Seidl, Armin Biere:
Skolem Function Continuation for Quantified Boolean Formulas. TAP@STAF 2017: 129-138
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/WustholzOHD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/WustholzOHD17
Valentin Wüstholz, Oswaldo Olivo, Marijn J. H. Heule, Isil Dillig:
Static Detection of DoS Vulnerabilities in Programs that use Regular Expressions (Extended Version). CoRR abs/1701.04045 (2017)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1709-08731
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1709-08731
Keenan Breik, Lakshmi Prakash, Chris Thachuk, Marijn Heule, David Soloveichik:
Computing properties of stable configurations of thermodynamic binding networks. CoRR abs/1709.08731 (2017)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1711-08076
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1711-08076
Marijn J. H. Heule:
Schur Number Five. CoRR abs/1711.08076 (2017)
2016
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/CuongH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/CuongH16
C. K. Cuong, M. J. H. Heule:
Computing Maximum Unavoidable Subgraphs Using SAT Solvers. SAT 2016: 196-211
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/HeuleKM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/HeuleKM16
Marijn J. H. Heule, Oliver Kullmann, Victor W. Marek:
Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer. SAT 2016: 228-245
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/sss/HeuleRAG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sss/HeuleRAG16
Marijn J. H. Heule, Rezwana Reaz, Hrishikesh B. Acharya, Mohamed G. Gouda:
Analysis of Computing Policies Using SAT Solvers (Short Paper). SSS 2016: 190-194
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/synasc/Heule16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/synasc/Heule16
Marijn J. H. Heule:
The Quest for Perfect and Compact Symmetry Breaking for Graph Problems. SYNASC 2016: 149-156
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/HeuleKM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HeuleKM16
Marijn J. H. Heule, Oliver Kullmann, Victor W. Marek:
Solving and Verifying the boolean Pythagorean Triples problem via Cube-and-Conquer. CoRR abs/1605.00723 (2016)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/Heule16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Heule16
Marijn J. H. Heule:
The DRAT format and DRAT-trim checker. CoRR abs/1610.06229 (2016)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/Cruz-FilipeHHKS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Cruz-FilipeHHKS16
Luís Cruz-Filipe, Marijn Heule, Warren A. Hunt Jr., Matt Kaufmann, Peter Schneider-Kamp:
Efficient Certified RAT Verification. CoRR abs/1612.02353 (2016)
2015
[j14]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jair/HeuleJLSB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/HeuleJLSB15
Marijn Heule, Matti Järvisalo, Florian Lonsing, Martina Seidl, Armin Biere:
Clause Elimination for SAT and QSAT. J. Artif. Intell. Res. 53: 127-168 (2015)
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/HeuleS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/HeuleS15
Marijn Heule, Stefan Szeider:
A SAT Approach to Clique-Width. ACM Trans. Comput. Log. 16(3): 24:1-24:27 (2015)
[c39]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/HeuleS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/HeuleS15
Marijn Heule, Torsten Schaub:
What's Hot in the SAT and ASP Competitions. AAAI 2015: 4322-4323
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/HeuleHW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/HeuleHW15
Marijn Heule, Warren A. Hunt Jr., Nathan Wetzler:
Expressing Symmetry Breaking in DRAT Proofs. CADE 2015: 591-606
[c37]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/HeuleB15a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/HeuleB15a
Marijn Heule, Armin Biere:
Clausal Proof Compression. IWIL@LPAR 2015: 21-26
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/HeuleB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/HeuleB15
Marijn J. H. Heule, Armin Biere:
Compositional Propositional Proofs. LPAR 2015: 444-459
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/HeuleSB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/HeuleSB15
Marijn Heule, Martina Seidl, Armin Biere:
Blocked Literals Are Universal. NFM 2015: 436-442
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/sss/ReazAGHE15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sss/ReazAGHE15
Rezwana Reaz, Muqeet Ali, Mohamed G. Gouda, Marijn Heule, Ehab S. Elmallah:
The Implication Problem of Computing Policies. SSS 2015: 109-123
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/2015
Marijn Heule, Sean A. Weaver:
Theory and Applications of Satisfiability Testing - SAT 2015 - 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings. Lecture Notes in Computer Science 9340, Springer 2015, ISBN 978-3-319-24317-7 [contents]
2014
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/HeuleHW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/HeuleHW14
Marijn Heule, Warren A. Hunt Jr., Nathan Wetzler:
Bridging the gap between easy generation and efficient verification of unsatisfiability proofs. Softw. Test. Verification Reliab. 24(8): 593-607 (2014)
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/HeuleSB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/HeuleSB14
Marijn Heule, Martina Seidl, Armin Biere:
A Unified Proof System for QBF Preprocessing. IJCAR 2014: 91-106
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/HeuleSB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/HeuleSB14
Marijn Heule, Martina Seidl, Armin Biere:
Efficient extraction of Skolem functions from QRAT proofs. FMCAD 2014: 107-114
[c31]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/sat/HeuleMP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/HeuleMP14
Marijn Heule, Norbert Manthey, Tobias Philipp:
Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers. POS@SAT 2014: 12-25
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/BelovHM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/BelovHM14
Anton Belov, Marijn Heule, João Marques-Silva:
MUS Extraction Using Clausal Proofs. SAT 2014: 48-57
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/BalyoFHB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/BalyoFHB14
Tomás Balyo, Andreas Fröhlich, Marijn Heule, Armin Biere:
Everything You Always Wanted to Know about Blocked Sets (But Were Afraid to Ask). SAT 2014: 317-332
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/WetzlerHH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/WetzlerHH14
Nathan Wetzler, Marijn Heule, Warren A. Hunt Jr.:
DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs. SAT 2014: 422-429
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/HaimH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HaimH14
Shai Haim, Marijn Heule:
Towards Ultra Rapid Restarts. CoRR abs/1402.4413 (2014)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/MijndersWH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MijndersWH14
Sid Mijnders, Boris de Wilde, Marijn Heule:
Symbiosis of Search and Heuristics for Random 3-SAT. CoRR abs/1402.4455 (2014)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/TakHB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/TakHB14
Peter van der Tak, Marijn Heule, Armin Biere:
Concurrent Cube-and-Conquer. CoRR abs/1402.4465 (2014)
2013
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/combinatorics/HartmanHKN13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/combinatorics/HartmanHKN13
Christiaan Hartman, Marijn Heule, Kees Kwekkeboom, Alain Noels:
Symmetry in Gardens of Eden. Electron. J. Comb. 20(3): 16 (2013)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/ese/HeuleV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ese/HeuleV13
Marijn Heule, Sicco Verwer:
Software model synthesis using satisfiability solvers. Empir. Softw. Eng. 18(4): 825-856 (2013)
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/HeuleHW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/HeuleHW13
Marijn Heule, Warren A. Hunt Jr., Nathan Wetzler:
Verifying Refutations with Extended Resolution. CADE 2013: 345-359
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/HeuleJB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/HeuleJB13
Marijn Heule, Matti Järvisalo, Armin Biere:
Revisiting Hyper Binary Resolution. CPAIOR 2013: 77-93
[c25]
- view
  - electronic edition @ ieee.org
  - details & citations
- export record
  dblp key:
  - conf/fmcad/HeuleHW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/HeuleHW13
Marijn Heule, Warren A. Hunt Jr., Nathan Wetzler:
Trimming while checking clausal proofs. FMCAD 2013: 181-188
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/WetzlerHH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/WetzlerHH13
Nathan Wetzler, Marijn Heule, Warren A. Hunt Jr.:
Mechanical Verification of SAT Refutations with Extended Resolution. ITP 2013: 229-244
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/HeuleB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/HeuleB13
Marijn Heule, Armin Biere:
Blocked Clause Decomposition. LPAR 2013: 423-438
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/HeuleS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/HeuleS13
Marijn Heule, Stefan Szeider:
A SAT Approach to Clique-Width. SAT 2013: 318-334
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1304-5498
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1304-5498
Marijn Heule, Stefan Szeider:
A SAT Approach to Clique-Width. CoRR abs/1304.5498 (2013)
2012
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/JarvisaloBH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/JarvisaloBH12
Matti Järvisalo, Armin Biere, Marijn Heule:
Simulating Circuit-Level Simplifications on CNF. J. Autom. Reason. 49(4): 583-619 (2012)
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/JarvisaloHB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/JarvisaloHB12
Matti Järvisalo, Marijn Heule, Armin Biere:
Inprocessing Rules. IJCAR 2012: 355-370
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/MantheyHB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/MantheyHB12
Norbert Manthey, Marijn Heule, Armin Biere:
Automated Reencoding of Boolean Formulas. Haifa Verification Conference 2012: 102-117
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/TakHB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/TakHB12
Peter van der Tak, Marijn Heule, Armin Biere:
Concurrent Cube-and-Conquer - (Poster Presentation). SAT 2012: 475-476
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/sle/WidlBBEHKST12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sle/WidlBBEHKST12
Magdalena Widl, Armin Biere, Petra Brosch, Uwe Egly, Marijn Heule, Gerti Kappel, Martina Seidl, Hans Tompits:
Guided Merging of Sequence Diagrams. SLE 2012: 164-183
2011
[j8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/TakRH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/TakRH11
Peter van der Tak, Antonio Ramos, Marijn Heule:
Reusing the Assignment Trail in CDCL Solvers. J. Satisf. Boolean Model. Comput. 7(4): 133-138 (2011)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/Heule11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/Heule11
Marijn Heule:
Introduction to Mathematics of Satisfiability, Victor W. Marek, Chapman & Hall/CRC, 2009. Hardback, ISBN-13: 978-143980167-3, $89.95. Theory Pract. Log. Program. 11(1): 126-130 (2011)
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/HeuleKWB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/HeuleKWB11
Marijn Heule, Oliver Kullmann, Siert Wieringa, Armin Biere:
Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads. Haifa Verification Conference 2011: 50-65
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/HeuleJB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/HeuleJB11
Marijn Heule, Matti Järvisalo, Armin Biere:
Efficient CNF Simplification Based on Binary Implication Graphs. SAT 2011: 201-215
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/RamosTH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/RamosTH11
Antonio Ramos, Peter van der Tak, Marijn Heule:
Between Restarts and Backjumps. SAT 2011: 216-229
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/GableskeH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/GableskeH11
Oliver Gableske, Marijn Heule:
EagleUP: Solving Random 3-SAT Using SLS with Unit Propagation. SAT 2011: 367-368
2010
[c13]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/HeuleW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/HeuleW10
Marijn Heule, Toby Walsh:
Symmetry in Solutions. AAAI 2010: 77-82
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/icgi/HeuleV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icgi/HeuleV10
Marijn Heule, Sicco Verwer:
Exact DFA Identification Using SAT Solvers. ICGI 2010: 66-79
[c11]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/HeuleJB10a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/HeuleJB10a
Marijn Heule, Matti Järvisalo, Armin Biere:
Covered Clause Elimination. LPAR short papers(Yogyakarta) 2010: 41-46
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/HeuleJB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/HeuleJB10
Marijn Heule, Matti Järvisalo, Armin Biere:
Clause Elimination Procedures for CNF Formulas. LPAR (Yogyakarta) 2010: 357-371
[c9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/JarvisaloBH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/JarvisaloBH10
Matti Järvisalo, Armin Biere, Marijn Heule:
Blocked Clause Elimination. TACAS 2010: 129-144
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1004-2624
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1004-2624
Marijn Heule, Toby Walsh:
Symmetry within Solutions. CoRR abs/1004.2624 (2010)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1011-5202
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1011-5202
Marijn Heule, Matti Järvisalo, Armin Biere:
Covered Clause Elimination. CoRR abs/1011.5202 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/SchaafsmaHM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/SchaafsmaHM09
Bas Schaafsma, Marijn Heule, Hans van Maaren:
Dynamic Symmetry Breaking by Simulating Zykov Contraction. SAT 2009: 223-236
[p1]
- view
  authority control:
- export record
  dblp key:
  - series/faia/HeuleM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/HeuleM09
Marijn Heule, Hans van Maaren:
Look-Ahead Based SAT Solvers. Handbook of Satisfiability 2009: 155-184
[e1]
- view
  - table of contents in dblp
  - details & citations
- export record
  dblp key:
  - series/faia/2009-185
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/2009-185
Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh:
Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications 185, IOS Press 2009, ISBN 978-1-58603-929-5 [contents]
2008
[b1]
- view
  - electronic edition @ tudelft.nl
  - details & citations
  authority control:
- export record
  dblp key:
  - phd/basesearch/Heule08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/basesearch/Heule08
M. J. H. Heule:
SmArT solving: tools and techniques for satisfiability solvers. Delft University of Technology, Netherlands, 2008
[j6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/dam/MaarenNH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dam/MaarenNH08
Hans van Maaren, Linda van Norden, M. J. H. Heule:
Sums of squares based approximation algorithms for MAX-SAT. Discret. Appl. Math. 156(10): 1754-1779 (2008)
[j5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/HeuleM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/HeuleM08
Marijn Heule, Hans van Maaren:
Parallel SAT Solving using Bit-level Operations. J. Satisf. Boolean Model. Comput. 4(2-4): 99-116 (2008)
[j4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/HeuleM08a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/HeuleM08a
Marijn Heule, Hans van Maaren:
Whose side are you on? Finding solutions in a biased search-tree. J. Satisf. Boolean Model. Comput. 4(2-4): 117-148 (2008)
2007
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/combinatorics/HerwigHLM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/combinatorics/HerwigHLM07
P. R. Herwig, M. J. H. Heule, P. M. van Lambalgen, Hans van Maaren:
A New Method to Construct Lower Bounds for Van der Waerden Numbers. Electron. J. Comb. 14(1) (2007)
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/HeuleR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/HeuleR07
M. J. H. Heule, Léon J. M. Rothkrantz:
Solving games: Dependence of applicable solving procedures. Sci. Comput. Program. 67(1): 105-124 (2007)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/HeuleM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/HeuleM07
Marijn Heule, Hans van Maaren:
From Idempotent Generalized Boolean Assignments to Multi-bit Search. SAT 2007: 134-147
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/HeuleM07a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/HeuleM07a
Marijn Heule, Hans van Maaren:
Effective Incorporation of Double Look-Ahead Procedures. SAT 2007: 258-271
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/vsmm/BierJHBHM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vsmm/BierJHBHM07
Henriette Bier, Adriaan de Jong, Gijs van der Hoorn, Niels Brouwers, Marijn Heule, Hans van Maaren:
Prototypes for Automated Architectural 3D-Layout. VSMM 2007: 203-214
2006
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/HeuleM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/HeuleM06
Marijn Heule, Hans van Maaren:
March_dl: Adding Adaptive Heuristics and a New Branching Strategy. J. Satisf. Boolean Model. Comput. 2(1-4): 47-59 (2006)
2005
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/HeuleM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/HeuleM05
Marijn Heule, Hans van Maaren:
Observed Lower Bounds for Random 3-SAT Phase Transition Density Using Linear Programming. SAT 2005: 122-134
2004
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/HeuleM04a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/HeuleM04a
Marijn Heule, Hans van Maaren:
Aligning CNF- and Equivalence-Reasoning. SAT (Selected Papers 2004: 145-156
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/HeuleDZM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/HeuleDZM04
Marijn Heule, Mark Dufour, Joris E. van Zwieten, Hans van Maaren:
March_eq: Implementing Additional Reasoning into an Efficient Look-Ahead SAT Solver. SAT (Selected Papers 2004: 345-359
[c1]
- view
  - electronic edition @ satisfiability.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/sat/HeuleM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/HeuleM04
Marijn Heule, Hans van Maaren:
Aligning CNF- and Equivalence-reasoning. SAT 2004

[+]

Coauthor network

[+]

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.