Mit 3D-Plussen den Raum füllen
Wie ein SAT solver mir half den Raum mit 3D-Plussen zu füllen.
Als Fiona eines Morgens aus unruhigen Träumen erwachte sah sie 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 sie 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/