Vybraná témata z algoritmů

Obsah semináře

Problém splnitelnosti formulí výrokové logiky a související oblasti.

Poznámky

• Log proběhlých seminářů (pdf) se bude objevovat s mírným zpoždením.

Odkazy

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

Zápočet

TBD.