Heule, Marijn J. H.

1. Local Search for Fast Matrix Multiplication
   2019/03/27 by Heule, Marijn J. H., Kauers, Manuel, Seidl, Martina · 5 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Symbolic Computation (cs.SC)
2. The Packing Chromatic Number of the Infinite Square Grid is 15
   2023/01/23 by Subercaseaux, Bernardo, Heule, Marijn J. H. · 6 citations
   #Artificial Intelligence (cs.AI) #Combinatorics (math.CO) #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #FOS: Mathematics
3. The DRAT format and DRAT-trim checker
   2016/10/19 by Marijn J. H. Heule, Heule, Marijn J. H. · 2 citations
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Natural Language Processing Techniques
4. Happy Ending: An Empty Hexagon in Every Set of 30 Points
   2024/03/01 by Marijn J. H. Heule, Heule, Marijn J. H., Manfred Scheucher +1 · 1 voice · 3 citations
   Computer Science · Mathematics · #Combinatorics (math.CO) #Computational Geometry (cs.CG) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #cs.CG #cs.LO #math.CO
5. Static Detection of DoS Vulnerabilities in Programs that use Regular Expressions (Extended Version)
   2017/01/15 by Wüstholz, Valentin, Olivo, Oswaldo, Heule, Marijn J. H. +1 · 1 citation
   #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Programming Languages (cs.PL) #Software Engineering (cs.SE)
6. Generating Extended Resolution Proofs with a BDD-Based SAT Solver
   2021/05/03 by Randal E. Bryant, Marijn J. H. Heule, Bryant, Randal E. +1 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
7. An Automated Approach to the Collatz Conjecture
   2021/05/31 by Emre Yolcu, Yolcu, Emre, Scott Aaronson +3 · 1 voice
   Computer Science · Mathematics · Social Sciences · #Academic integrity and plagiarism #Benford’s Law and Fraud Detection #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #cs.LO
8. Formal Verification of the Empty Hexagon Number
   2024/03/26 by Subercaseaux, Bernardo, Nawrocki, Wojciech, Gallicchio, James +3 · 1 citation
   #Computational Geometry (cs.CG) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
9. Automated Mathematical Discovery and Verification: Minimizing Pentagons in the Plane
   2023/11/07 by Subercaseaux, Bernardo, Mackey, John, Heule, Marijn J. H. +1 · 1 citation
   #Computational Geometry (cs.CG) #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences