Ivana Skýbová

Bachelor's thesis

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

Supporting Server for Constraint Processing Teaching - Use of SAT solvers
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 …more
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 …more
 

Keywords

ARUO SAT řešič SAT převod problému na problém výukový server

Keywords

Constraint Processing SAT SAT solver reduction between problems educational server
 
Language used: Czech
Date on which the thesis was submitted / produced: 7. 5. 2015
Identifier: http://hdl.handle.net/10084/108953

Thesis defence

  • Date of defence: 4. 6. 2015
  • Supervisor: Martin Šurkovský
  • Reader: Marek Běhálek

Citation record

Cite this text

Full text of thesis

Accessibility: Plné texty vysokoškolských kvalifikačních prací obhájených na Vysoké škole báňské - Technické univerzitě Ostrava jsou uloženy v repozitáři DSpace. Přístup k plným textům mají všichni uživatelé bez omezení. Přístup je omezen pouze ve výjimečných případech, zpravidla z důvodu ochrany duševního vlastnictví. Nepřístupné práce jsou označeny jako closedAccess nebo embargoedAccess. Tištěné verze prácí jsou uloženy v Ústřední knihovně VŠB-TUO a jsou prezenčně přístupné ve studovně diplomových prací. Další nakládání s prací (kopírování, opisy, MVS) se řídí Knihovní a výpůjčním řádem Ústřední knihovny VŠB-TUO.

Contents of on-line thesis archive
Published in Theses:
  • autentizovaným zaměstnancům ze stejné školy/fakulty
Other ways of accessing the text
Institution archiving the thesis and making it accessible: VŠB - Technická univerzita Ostrava

VŠB - Technical University of Ostrava

Fakulta elektrotechniky a informatiky

Bachelor programme / field:
Informační a komunikační technologie / Informatika a výpočetní technika

Theses on a related topic

List of theses with an identical keyword.