| dc.contributor.advisor | Barták, Roman | |
| dc.creator | Tuláček, Michal | |
| dc.date.accessioned | 2017-04-20T13:35:53Z | |
| dc.date.available | 2017-04-20T13:35:53Z | |
| dc.date.issued | 2009 | |
| dc.identifier.uri | http://hdl.handle.net/20.500.11956/26879 | |
| dc.description.abstract | Ř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. | cs_CZ |
| dc.description.abstract | 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. | en_US |
| dc.language | English | cs_CZ |
| dc.language.iso | en_US | |
| dc.publisher | Univerzita Karlova, Matematicko-fyzikální fakulta | cs_CZ |
| dc.title | Constraint solvers | en_US |
| dc.type | bakalářská práce | cs_CZ |
| dcterms.created | 2009 | |
| dcterms.dateAccepted | 2009-09-15 | |
| dc.description.department | Department of Theoretical Computer Science and Mathematical Logic | en_US |
| dc.description.department | Katedra teoretické informatiky a matematické logiky | cs_CZ |
| dc.description.faculty | Faculty of Mathematics and Physics | en_US |
| dc.description.faculty | Matematicko-fyzikální fakulta | cs_CZ |
| dc.identifier.repId | 45852 | |
| dc.title.translated | Řešiče omezujících podmínek | cs_CZ |
| dc.contributor.referee | Surynek, Pavel | |
| dc.identifier.aleph | 001202263 | |
| thesis.degree.name | Bc. | |
| thesis.degree.level | bakalářské | cs_CZ |
| thesis.degree.discipline | Obecná informatika | cs_CZ |
| thesis.degree.discipline | General Computer Science | en_US |
| thesis.degree.program | Informatika | cs_CZ |
| thesis.degree.program | Computer Science | en_US |
| uk.thesis.type | bakalářská práce | cs_CZ |
| uk.taxonomy.organization-cs | Matematicko-fyzikální fakulta::Katedra teoretické informatiky a matematické logiky | cs_CZ |
| uk.taxonomy.organization-en | Faculty of Mathematics and Physics::Department of Theoretical Computer Science and Mathematical Logic | en_US |
| uk.faculty-name.cs | Matematicko-fyzikální fakulta | cs_CZ |
| uk.faculty-name.en | Faculty of Mathematics and Physics | en_US |
| uk.faculty-abbr.cs | MFF | cs_CZ |
| uk.degree-discipline.cs | Obecná informatika | cs_CZ |
| uk.degree-discipline.en | General Computer Science | en_US |
| uk.degree-program.cs | Informatika | cs_CZ |
| uk.degree-program.en | Computer Science | en_US |
| thesis.grade.cs | Výborně | cs_CZ |
| thesis.grade.en | Excellent | en_US |
| uk.abstract.cs | Ř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. | cs_CZ |
| uk.abstract.en | 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. | en_US |
| uk.file-availability | V | |
| uk.publication.place | Praha | cs_CZ |
| uk.grantor | Univerzita Karlova, Matematicko-fyzikální fakulta, Katedra teoretické informatiky a matematické logiky | cs_CZ |
| dc.identifier.lisID | 990012022630106986 | |
