| dc.contributor.advisor | Šurkovský, Martin | cs |
| dc.contributor.author | Skýbová, Ivana | cs |
| dc.date.accessioned | 2015-07-22T09:19:43Z | |
| dc.date.available | 2015-07-22T09:19:43Z | |
| dc.date.issued | 2015 | cs |
| dc.identifier.other | OSD002 | cs |
| dc.identifier.uri | http://hdl.handle.net/10084/108953 | |
| dc.description | Import 22/07/2015 | cs |
| dc.description.abstract | Práce pojednává o praktickém použití řešičů SAT, převodu problému na problém a implementaci serveru pro podporu výuky předmětu Automatizované řešení úloh s omezeními.
Server je určen především pro studenty navazujícího magisterského studia oboru Informační a výpočetní technika, kteří si zvolili předmět ARUO a případně dalším zájemcům o problematiku, kterou se předmět zabývá. Pro implementaci byla zvolena technologie ASP.NET, aplikace je programovaná v jazyce C#, drobné skripty na straně klienta vykonává JavaScript. Aktuálně řešené problémy jsou: sudoku, úplné párování grafu a součet podmnožiny. | cs |
| dc.description.abstract | Thesis describes basic usage of SAT solvers, reduction between problems and implementation of a supporting server application for Constraint Processing teaching.
Server is intended mainly to students of a Master Program with specialization in Computer Science and Technology, who choose to study Constraint Processing and eventually to others interested in this subject. It is implemented on the ASP.NET platform using programming language C#; minor client scripts are run by JavaScript. Currently solved problems are: sudoku, bipartite matching and subset sum. | en |
| dc.format.extent | 2240258 bytes | cs |
| dc.format.mimetype | application/pdf | cs |
| dc.language.iso | cs | cs |
| dc.publisher | Vysoká škola báňská - Technická univerzita Ostrava | cs |
| dc.subject | ARUO | cs |
| dc.subject | SAT | cs |
| dc.subject | řešič SAT | cs |
| dc.subject | převod problému na problém | cs |
| dc.subject | výukový server | cs |
| dc.subject | Constraint Processing | en |
| dc.subject | SAT | en |
| dc.subject | SAT solver | en |
| dc.subject | reduction between problems | en |
| dc.subject | educational server | en |
| dc.title | Server pro podporu výuky ARUO - využití řešičů SAT | cs |
| dc.title.alternative | Supporting Server for Constraint Processing Teaching - Use of SAT solvers | en |
| dc.type | Bakalářská práce | cs |
| dc.contributor.referee | Běhálek, Marek | cs |
| dc.date.accepted | 2015-06-04 | cs |
| dc.thesis.degree-name | Bc. | cs |
| dc.thesis.degree-level | Bakalářský studijní program | cs |
| dc.thesis.degree-grantor | Vysoká škola báňská - Technická univerzita Ostrava. Fakulta elektrotechniky a informatiky | cs |
| dc.description.department | 460 - Katedra informatiky | cs |
| dc.thesis.degree-program | Informační a komunikační technologie | cs |
| dc.thesis.degree-branch | Informatika a výpočetní technika | cs |
| dc.description.result | velmi dobře | cs |
| dc.identifier.sender | S2724 | cs |
| dc.identifier.thesis | SKY0019_FEI_B2647_2612R025_2015 | |
| dc.rights.access | openAccess | |