{"guid":"863fe9ea-cd51-4fdc-be61-35bce2a23448","title":"Mit 3D-Plussen den Raum füllen","subtitle":"Wie ein SAT solver mir half den Raum mit 3D-Plussen zu füllen.","slug":"2023-11-04-mit-3d-plussen-den-raum-fullen","link":"https://2023.nook-luebeck.de/talks/lightning-talks-2/","description":"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.\r\n\r\nNachdem die nahelegenden Werkzeuge des Herumprobierens und Vermutens erschöpft waren wollte sie Fakten sehen und griff beherzt zum SAT solver.\r\n\r\nDie 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/\r\n \r\nThis 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/\r\n\t\t\t","original_language":"deu","persons":["Fiona Runge"],"tags":["nook23","1482","2023"],"view_count":188,"promoted":false,"date":"2023-11-04T15:00:00.000+01:00","release_date":"2024-01-12T00:00:00.000+01:00","updated_at":"2026-01-25T20:30:13.677+01:00","length":584,"duration":584,"thumb_url":"https://static.media.ccc.de/media/events/nook/2023/1482-863fe9ea-cd51-4fdc-be61-35bce2a23448.jpg","poster_url":"https://static.media.ccc.de/media/events/nook/2023/1482-863fe9ea-cd51-4fdc-be61-35bce2a23448_preview.jpg","timeline_url":"https://static.media.ccc.de/media/events/nook/2023/1482-863fe9ea-cd51-4fdc-be61-35bce2a23448.timeline.jpg","thumbnails_url":"https://static.media.ccc.de/media/events/nook/2023/1482-863fe9ea-cd51-4fdc-be61-35bce2a23448.thumbnails.vtt","frontend_link":"https://media.ccc.de/v/2023-11-04-mit-3d-plussen-den-raum-fullen","url":"https://api.media.ccc.de/public/events/863fe9ea-cd51-4fdc-be61-35bce2a23448","conference_title":"Nook 2023","conference_url":"https://api.media.ccc.de/public/conferences/nook23","related":[],"recordings":[{"size":41,"length":584,"mime_type":"video/webm","language":"deu","filename":"nook2023-1482-deu-Mit_3D-Plussen_den_Raum_fuellen_webm-hd.webm","state":"new","folder":"webm-hd","high_quality":true,"width":1920,"height":1080,"updated_at":"2024-01-12T22:02:59.136+01:00","recording_url":"https://cdn.media.ccc.de/events/nook/2023/webm-hd/nook2023-1482-deu-Mit_3D-Plussen_den_Raum_fuellen_webm-hd.webm","url":"https://api.media.ccc.de/public/recordings/74267","event_url":"https://api.media.ccc.de/public/events/863fe9ea-cd51-4fdc-be61-35bce2a23448","conference_url":"https://api.media.ccc.de/public/conferences/nook23"},{"size":5,"length":584,"mime_type":"audio/opus","language":"deu","filename":"nook2023-1482-deu-Mit_3D-Plussen_den_Raum_fuellen_opus.opus","state":"new","folder":"opus","high_quality":false,"width":0,"height":0,"updated_at":"2024-01-12T21:59:34.298+01:00","recording_url":"https://cdn.media.ccc.de/events/nook/2023/opus/nook2023-1482-deu-Mit_3D-Plussen_den_Raum_fuellen_opus.opus","url":"https://api.media.ccc.de/public/recordings/74266","event_url":"https://api.media.ccc.de/public/events/863fe9ea-cd51-4fdc-be61-35bce2a23448","conference_url":"https://api.media.ccc.de/public/conferences/nook23"},{"size":15,"length":584,"mime_type":"video/mp4","language":"deu","filename":"nook2023-1482-deu-Mit_3D-Plussen_den_Raum_fuellen_sd.mp4","state":"new","folder":"h264-sd","high_quality":false,"width":720,"height":576,"updated_at":"2024-01-12T21:42:03.535+01:00","recording_url":"https://cdn.media.ccc.de/events/nook/2023/h264-sd/nook2023-1482-deu-Mit_3D-Plussen_den_Raum_fuellen_sd.mp4","url":"https://api.media.ccc.de/public/recordings/74264","event_url":"https://api.media.ccc.de/public/events/863fe9ea-cd51-4fdc-be61-35bce2a23448","conference_url":"https://api.media.ccc.de/public/conferences/nook23"},{"size":20,"length":584,"mime_type":"video/webm","language":"deu","filename":"nook2023-1482-deu-Mit_3D-Plussen_den_Raum_fuellen_webm-sd.webm","state":"new","folder":"webm-sd","high_quality":false,"width":720,"height":576,"updated_at":"2024-01-12T21:40:34.639+01:00","recording_url":"https://cdn.media.ccc.de/events/nook/2023/webm-sd/nook2023-1482-deu-Mit_3D-Plussen_den_Raum_fuellen_webm-sd.webm","url":"https://api.media.ccc.de/public/recordings/74263","event_url":"https://api.media.ccc.de/public/events/863fe9ea-cd51-4fdc-be61-35bce2a23448","conference_url":"https://api.media.ccc.de/public/conferences/nook23"},{"size":8,"length":584,"mime_type":"audio/mpeg","language":"deu","filename":"nook2023-1482-deu-Mit_3D-Plussen_den_Raum_fuellen_mp3.mp3","state":"new","folder":"mp3","high_quality":false,"width":0,"height":0,"updated_at":"2024-01-12T21:33:09.432+01:00","recording_url":"https://cdn.media.ccc.de/events/nook/2023/mp3/nook2023-1482-deu-Mit_3D-Plussen_den_Raum_fuellen_mp3.mp3","url":"https://api.media.ccc.de/public/recordings/74262","event_url":"https://api.media.ccc.de/public/events/863fe9ea-cd51-4fdc-be61-35bce2a23448","conference_url":"https://api.media.ccc.de/public/conferences/nook23"},{"size":32,"length":584,"mime_type":"video/mp4","language":"deu","filename":"nook2023-1482-deu-Mit_3D-Plussen_den_Raum_fuellen_hd.mp4","state":"new","folder":"h264-hd","high_quality":true,"width":1920,"height":1080,"updated_at":"2024-01-12T21:17:18.199+01:00","recording_url":"https://cdn.media.ccc.de/events/nook/2023/h264-hd/nook2023-1482-deu-Mit_3D-Plussen_den_Raum_fuellen_hd.mp4","url":"https://api.media.ccc.de/public/recordings/74261","event_url":"https://api.media.ccc.de/public/events/863fe9ea-cd51-4fdc-be61-35bce2a23448","conference_url":"https://api.media.ccc.de/public/conferences/nook23"}]}