%0 Conference Paper %1 conf/tacas/HeuleS24 %A Heule, Marijn J. H. %A Scheucher, Manfred %B TACAS (1) %D 2024 %E Finkbeiner, Bernd %E Kovács, Laura %I Springer %K dblp %P 61-80 %T Happy Ending: An Empty Hexagon in Every Set of 30 Points. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2024-1.html#HeuleS24 %V 14570 %@ 978-3-031-57246-3

@inproceedings{conf/tacas/HeuleS24, added-at = {2024-04-14T00:00:00.000+0200}, author = {Heule, Marijn J. H. and Scheucher, Manfred}, biburl = {https://www.bibsonomy.org/bibtex/2e17438861c65952c419ab8475fe724eb/dblp}, booktitle = {TACAS (1)}, crossref = {conf/tacas/2024-1}, editor = {Finkbeiner, Bernd and Kovács, Laura}, ee = {https://doi.org/10.1007/978-3-031-57246-3_5}, interhash = {df27f3cab3bf0e67d70999c7ef18961b}, intrahash = {e17438861c65952c419ab8475fe724eb}, isbn = {978-3-031-57246-3}, keywords = {dblp}, pages = {61-80}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-15T07:04:37.000+0200}, title = {Happy Ending: An Empty Hexagon in Every Set of 30 Points.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2024-1.html#HeuleS24}, volume = 14570, year = 2024 }