Server pro podporu výuky ARUO - využití řešičů SAT

Show simple item record
dc.contributor.advisorŠurkovský, Martincs
dc.contributor.authorSkýbová, Ivanacs
dc.contributor.refereeBěhálek, Marekcs
dc.date.accepted2015-06-04cs
dc.date.accessioned2015-07-22T09:19:43Z
dc.date.available2015-07-22T09:19:43Z
dc.date.issued2015cs
dc.descriptionImport 22/07/2015cs
dc.description.abstractPrá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.abstractThesis 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.description.department460 - Katedra informatikycs
dc.description.resultvelmi dobřecs
dc.format.extent2240258 bytescs
dc.format.mimetypeapplication/pdfcs
dc.identifier.otherOSD002cs
dc.identifier.senderS2724cs
dc.identifier.thesisSKY0019_FEI_B2647_2612R025_2015
dc.identifier.urihttp://hdl.handle.net/10084/108953
dc.language.isocscs
dc.publisherVysoká škola báňská - Technická univerzita Ostravacs
dc.rights.accessopenAccess
dc.subjectARUOcs
dc.subjectSATcs
dc.subjectřešič SATcs
dc.subjectpřevod problému na problémcs
dc.subjectvýukový servercs
dc.subjectConstraint Processingen
dc.subjectSATen
dc.subjectSAT solveren
dc.subjectreduction between problemsen
dc.subjecteducational serveren
dc.thesis.degree-branchInformatika a výpočetní technikacs
dc.thesis.degree-grantorVysoká škola báňská - Technická univerzita Ostrava. Fakulta elektrotechniky a informatikycs
dc.thesis.degree-levelBakalářský studijní programcs
dc.thesis.degree-nameBc.cs
dc.thesis.degree-programInformační a komunikační technologiecs
dc.titleServer pro podporu výuky ARUO - využití řešičů SATcs
dc.title.alternativeSupporting Server for Constraint Processing Teaching - Use of SAT solversen
dc.typeBakalářská prácecs

Files

Original bundle

Now showing 1 - 4 out of 4 results
Thumbnail Image
Name:
SKY0019_FEI_B2647_2612R025_2015.pdf
Size:
2.14 MB
Format:
Adobe Portable Document Format
Download
Thumbnail Image
Name:
SKY0019_FEI_B2647_2612R025_2015_priloha.zip
Size:
5.19 MB
Format:
Unknown data format
Download
Thumbnail Image
Name:
SKY0019_FEI_B2647_2612R025_2015_posudek_vedouci_Surkovsky_Martin.pdf
Size:
53.25 KB
Format:
Adobe Portable Document Format
Description:
Posudek vedoucího – Šurkovský, Martin
Download
Thumbnail Image
Name:
SKY0019_FEI_B2647_2612R025_2015_posudek_oponent_Behalek_Marek.pdf
Size:
51.41 KB
Format:
Adobe Portable Document Format
Description:
Posudek oponenta – Běhálek, Marek
Download

Collections

Vysokoškolské kvalifikační práce Fakulty elektrotechniky a informatiky / Theses and dissertations of Faculty of Electrical Engineering and Computer Science (FEI)