Mit 3D-Plussen den Raum füllen

Wie ein SAT solver mir half den Raum mit 3D-Plussen zu füllen.

Jakob Runge

Playlists: 'nook23' videos starting here / audio

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.

Die Night of Open Knowledge (Nook) in Lübeck ist eine offene Vortragsveranstaltung, die einem weiten Publikum Einblicke in die verschiedene Bereiche der Informatik, aber auch technikfremde Themen bietet. Die Nook wird vom Chaotikum e.V. aus Lübeck und der studentischen Gruppe MetaMeute der Uni Lübeck veranstaltet. https://nook-luebeck.de/

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License (CC BY NC ND 4.0). https://creativecommons.org/licenses/by-nc-nd/4.0/

Download

Embed

Share:

Tags