{"guid":"8ba46ff9-8f51-44cf-9431-bcf99feec0d3","title":"Wie funktionieren SAT-Solver?","subtitle":"Ein Einblick in die Implementierung eines SAT-Solvers","slug":"einfuehrung-in-sat-solver-2","link":"https://nook-luebeck.de/talks/einfuehrung-in-sat-solver-2/","description":"Anschließend an die \"Einführung in SAT-Solver\" stelle ich in diesem Vortrag die grundlegenden Algorithmen, Heurisitken und Datenstrukturen aktueller SAT-Solver vor. Auch als Anwender kann dieses Wissen dabei helfen Probleme so zu formulieren, dass sie effizient gelöst werden können.\n","original_language":"deu","persons":["Jannis Harder"],"tags":["metanook19","29","2019"],"view_count":91,"promoted":false,"date":"2019-11-09T16:15:00.000+01:00","release_date":"2020-02-18T00:00:00.000+01:00","updated_at":"2026-03-16T17:00:15.920+01:00","length":2453,"duration":2453,"thumb_url":"https://static.media.ccc.de/media/events/metanook/metanook-2019/29-hd.jpg","poster_url":"https://static.media.ccc.de/media/events/metanook/metanook-2019/29-hd_preview.jpg","timeline_url":"https://static.media.ccc.de/media/events/metanook/metanook-2019/29-hd.timeline.jpg","thumbnails_url":"https://static.media.ccc.de/media/events/metanook/metanook-2019/29-hd.thumbnails.vtt","frontend_link":"https://media.ccc.de/v/einfuehrung-in-sat-solver-2","url":"https://api.media.ccc.de/public/events/8ba46ff9-8f51-44cf-9431-bcf99feec0d3","conference_title":"MetaNook 2019","conference_url":"https://api.media.ccc.de/public/conferences/metanook19","related":[],"recordings":[{"size":369,"length":2453,"mime_type":"video/webm","language":"deu","filename":"metanook19-29-deu-Wie_funktionieren_SAT-Solver_webm-hd.webm","state":"new","folder":"webm-hd","high_quality":true,"width":1920,"height":1080,"updated_at":"2020-02-18T02:04:48.672+01:00","recording_url":"https://cdn.media.ccc.de/events/metanook/metanook-2019/webm-hd/metanook19-29-deu-Wie_funktionieren_SAT-Solver_webm-hd.webm","url":"https://api.media.ccc.de/public/recordings/45999","event_url":"https://api.media.ccc.de/public/events/8ba46ff9-8f51-44cf-9431-bcf99feec0d3","conference_url":"https://api.media.ccc.de/public/conferences/metanook19"},{"size":141,"length":2453,"mime_type":"video/webm","language":"deu","filename":"metanook19-29-deu-Wie_funktionieren_SAT-Solver_webm-sd.webm","state":"new","folder":"webm-sd","high_quality":false,"width":720,"height":576,"updated_at":"2020-02-18T01:27:40.746+01:00","recording_url":"https://cdn.media.ccc.de/events/metanook/metanook-2019/webm-sd/metanook19-29-deu-Wie_funktionieren_SAT-Solver_webm-sd.webm","url":"https://api.media.ccc.de/public/recordings/45984","event_url":"https://api.media.ccc.de/public/events/8ba46ff9-8f51-44cf-9431-bcf99feec0d3","conference_url":"https://api.media.ccc.de/public/conferences/metanook19"},{"size":37,"length":2448,"mime_type":"audio/mpeg","language":"deu","filename":"metanook19-29-deu-Wie_funktionieren_SAT-Solver_mp3.mp3","state":"new","folder":"mp3","high_quality":false,"width":0,"height":0,"updated_at":"2020-02-18T01:18:11.936+01:00","recording_url":"https://cdn.media.ccc.de/events/metanook/metanook-2019/mp3/metanook19-29-deu-Wie_funktionieren_SAT-Solver_mp3.mp3","url":"https://api.media.ccc.de/public/recordings/45981","event_url":"https://api.media.ccc.de/public/events/8ba46ff9-8f51-44cf-9431-bcf99feec0d3","conference_url":"https://api.media.ccc.de/public/conferences/metanook19"},{"size":28,"length":2448,"mime_type":"audio/opus","language":"deu","filename":"metanook19-29-deu-Wie_funktionieren_SAT-Solver_opus.opus","state":"new","folder":"opus","high_quality":false,"width":0,"height":0,"updated_at":"2020-02-18T01:17:55.694+01:00","recording_url":"https://cdn.media.ccc.de/events/metanook/metanook-2019/opus/metanook19-29-deu-Wie_funktionieren_SAT-Solver_opus.opus","url":"https://api.media.ccc.de/public/recordings/45980","event_url":"https://api.media.ccc.de/public/events/8ba46ff9-8f51-44cf-9431-bcf99feec0d3","conference_url":"https://api.media.ccc.de/public/conferences/metanook19"},{"size":97,"length":2453,"mime_type":"video/mp4","language":"deu","filename":"metanook19-29-deu-Wie_funktionieren_SAT-Solver_sd.mp4","state":"new","folder":"h264-sd","high_quality":false,"width":720,"height":576,"updated_at":"2020-02-18T01:17:28.471+01:00","recording_url":"https://cdn.media.ccc.de/events/metanook/metanook-2019/h264-sd/metanook19-29-deu-Wie_funktionieren_SAT-Solver_sd.mp4","url":"https://api.media.ccc.de/public/recordings/45978","event_url":"https://api.media.ccc.de/public/events/8ba46ff9-8f51-44cf-9431-bcf99feec0d3","conference_url":"https://api.media.ccc.de/public/conferences/metanook19"},{"size":225,"length":2453,"mime_type":"video/mp4","language":"deu","filename":"metanook19-29-deu-Wie_funktionieren_SAT-Solver_hd.mp4","state":"new","folder":"h264-hd","high_quality":true,"width":1920,"height":1080,"updated_at":"2020-02-18T01:01:47.221+01:00","recording_url":"https://cdn.media.ccc.de/events/metanook/metanook-2019/h264-hd/metanook19-29-deu-Wie_funktionieren_SAT-Solver_hd.mp4","url":"https://api.media.ccc.de/public/recordings/45976","event_url":"https://api.media.ccc.de/public/events/8ba46ff9-8f51-44cf-9431-bcf99feec0d3","conference_url":"https://api.media.ccc.de/public/conferences/metanook19"}]}