Vybraná témata z algoritmů

Obsah semináře

Problém splnitelnosti formulí výrokové logiky a související oblasti. Algoritmy, SAT solvery a jejich analýza.

Poznámky

• Log seminářů (pdf)
• Sériově paralelní grafy, kombinatorické úvahy (.pdf)
• Základní algoritmy

Odkazy

• MiniSAT
• Newcomer to SAT
• Sat Competition
• List of Solvers
• Benchmarks I

Zápočet

• Zápočtový úkol. Odevzdání do konce května, později pouze po domluvě.