Marijn J. H. Heule

activity

20102023

most citedSolving and Verifying the boolean Pythagorean Triples problem via Cube-and-Conquer

203 citations · 391 across the 22 of their papers we have counts for

collaborators

Showing math.COShow all

3 papers · 1 filter

math.CO2020★ 1 cited

Tighter Bounds on Directed Ramsey Number R(7)

David Neiman, John Mackey, Marijn Heule

Tournaments are orientations of the complete graph, and the directed Ramsey number $R (k)$ is the minimum number of vertices a tournament must have to be guaranteed to contain a tra…

math.CO2019

The Resolution of Keller's Conjecture

Joshua Brakensiek, Marijn Heule, John Mackey +1

We consider three graphs, $G_{7, 3}$ , $G_{7, 4}$ , and $G_{7, 6}$ , related to Keller's conjecture in dimension 7. The conjecture is false for this dimension if and only if at least one…

math.CO2018★ 13 cited

Computing Small Unit-Distance Graphs with Chromatic Number 5

Marijn J. H. Heule

We present a new method for reducing the size of graphs with a given property. Our method, which is based on clausal proof minimization, allowed us to compute several 553-vertex un…