Showing 2024Show all
3 papers · 1 filter
cs.CG2024
Formal Verification of the Empty Hexagon Number
Bernardo Subercaseaux, Wojciech Nawrocki, James Gallicchio +3
A recent breakthrough in computer-assisted mathematics showed that every set of points in the plane in general position (i.e., without three on a common line) contains an empt…
math.CO2024
PackIt! Gamified Rectangle Packing
Thomas Garrison, Marijn J. H. Heule, Bernardo Subercaseaux
We present and analyze PackIt!, a turn-based game consisting of packing rectangles on an grid. PackIt! can be easily played on paper, either as a competitive two-playe…
cs.CG2024
Happy Ending: An Empty Hexagon in Every Set of 30 Points
Marijn J. H. Heule, Manfred Scheucher
Satisfiability solving has been used to tackle a range of long-standing open math problems in recent years. We add another success by solving a geometry problem that originated a c…