Marijn J.H. Heule

Identifiers

• name variant Marijn J.H. Heule 0.60 · backfill

Papers (6)

1. Tao's Equational Proof Challenge Accepted (Technical Report) cs.LO · 2026 · author #3
2. Trimming Graphs Using Clausal Proof Optimization cs.LO · 2019 · author #1
3. New ways to multiply 3 x 3-matrices cs.SC · 2019 · author #1
4. Computing Small Unit-Distance Graphs with Chromatic Number 5 math.CO · 2018 · author #1
5. Schur Number Five cs.LO · 2017 · author #1
6. Concurrent Cube-and-Conquer cs.DS · 2014 · author #2

Mentions

• 1402.4465 #2 · backfill · confidence 0.70 Marijn J.H. Heule
• 2605.21200 #3 · arxiv_oai · confidence 0.70 Marijn J.H. Heule

Frequent Coauthors

• Armin Biere 1 shared papers
• Jasmin Blanchette 1 shared papers
• Lydia Kondylidou 1 shared papers
• Manuel Kauers 1 shared papers
• Martina Seidl 1 shared papers
• Peter van der Tak 1 shared papers