NVER, okruh č. 56

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

Materiály

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

Použito také ve specializacích

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