Záznam přednášky - Výpočetní logika v praxi
| Akce: | Krutá Smršť Přednášek 2022 (záznamy z akce) |
|---|---|
| Přednášející: | David Stanovský |
| Motto: | SAT solving: řešíme NP-úplný problém |
| Anotace: | Cílem je vysvětlit, o čem je problém splnitelnosti výrokových formulí, tzv. SAT. Vysvětlil bych základní princip současných SAT-solverů, které tento problém, více či méně efektivně, řeší. Na SAT lze převést řadu prohledávacích problémů, například sudoku. Několik takových bych ukázal. |
| Externí odkazy: | YouTube |
| Ke stažení: | Video (MP4/H.264) a Audio (Ogg/Opus) |