Mit 3D-Plussen den Raum füllen at Nook
← Back to cvAt Nook 2023 I held a lightning talk in german titled Mit 3D-Plussen den Raum füllen.
The description read thus:
Wie ein SAT solver mir half den Raum mit 3D-Plussen zu füllen.
Als Jakob eines Morgens aus unruhigen Träumen erwachte sah er sich der Frage ausgesetzt, ob 3D-Plusse einen endlosen Raum lückenlos teilen könnten.
Nachdem die nahelegenden Werkzeuge des Herumprobierens und Vermutens erschöpft waren wollte er Fakten sehen und griff beherzt zum SAT solver.
Slides can be found here.
Related repository: github.com/runjak/2023-01-06.sat-experiment.