Název:
Řešiče omezujících podmínek
Překlad názvu:
Constraint solvers
Autoři:
Tuláček, Michal ; Surynek, Pavel (oponent) ; Barták, Roman (vedoucí práce) Typ dokumentu: Bakalářské práce
Rok:
2009
Jazyk:
eng
Abstrakt: [eng][cze] Constraint solver is a specialized software used to solve constraint satisfaction problems. The thesis surveys constraint solvers and some of them compares using the criteria of user accessibility and variety of problems which can be modeled.Řešič omezujících podmínek je specializovaný software, určený k řešení problémů popsaných omezujícími podmínkami. Práce podává přehled řešičů a vybrané z nich testuje z pohledu uživatelské přístupnosti a rozsahu problémů, které lze modelovat.