Marijn J. H. Heule
- Solving and Verifying the boolean Pythagorean Triples problem via Cube-and-Conquer
2016/05/03 by Marijn J. H. Heule, Oliver Kullmann, Victor W. Marek · 5 voices · 8 citations
#cs.DM #cs.LO
- SAT Competition 2020
2021/08/04 by Nils Froleyks, Marijn Heule, Marijn J. H. Heule +5 · 9 citations
Computer Science · #Constraint Satisfaction and Optimization #AI-based Problem Solving and Planning #Machine Learning and Algorithms
- 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
- 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
- Static Detection of DoS Vulnerabilities in Programs that use Regular Expressions (Extended Version)
2017/01/15 by Valentin Wüstholz, Wüstholz, Valentin, Oswaldo Olivo +5 · 1 citation
Computer Science · #Advanced Malware Detection Techniques #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Programming Languages (cs.PL) #Security and Verification in Computing #Software Engineering (cs.SE) #Web Application Security Vulnerabilities
- Generating Extended Resolution Proofs with a BDD-Based SAT Solver
2021/05/03 by Randal E. Bryant, Bryant, Randal E., Marijn J. H. Heule +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
- 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
- Computing Small Unit-Distance Graphs with Chromatic Number 5
2018/05/30 by Marijn J. H. Heule, Heule, Marijn J. H. · 1 citation
Computer Science · Engineering · #Advanced Graph Theory Research #Combinatorics (math.CO) #FOS: Mathematics #Graph Labeling and Dimension Problems #graph theory and CDMA systems