Specializační okruh

Metody řešení SAT a SMT problémů.

Materiály

Zatím tu nejsou žádné materiály.

Výskyt ve specializacích

• NMAT – Matematické metody, č. 46, RD13/2026
• NVER – Verifikace a testování software, č. 56, RD13/2026