Original title:
Řešiče omezujících podmínek
Translated title:
Constraint solvers
Authors:
Tuláček, Michal ; Surynek, Pavel (referee) ; Barták, Roman (advisor) Document type: Bachelor's theses
Year:
2009
Language:
eng Abstract:
[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.
Institution: Charles University Faculties (theses)
(web)
Document availability information: Available in the Charles University Digital Repository. Original record: http://hdl.handle.net/20.500.11956/26879