Skip to content

Happy Ending: An Empty Hexagon in Every Set of 30 Points.

Marijn J. H. Heule, Manfred Scheucher

VenueATACAS
Year2024
ProceedingsTACAS (1)

Browse the full TACAS paper archive.