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

Thumbnail Image

Files

SKY0019_FEI_B2647_2612R025_2015.pdf (2.14 MB)
SKY0019_FEI_B2647_2612R025_2015_priloha.zip (5.19 MB)
SKY0019_FEI_B2647_2612R025_2015_posudek_vedouci_Surkovsky_Martin.pdf (53.25 KB)
SKY0019_FEI_B2647_2612R025_2015_posudek_oponent_Behalek_Marek.pdf (51.41 KB)

Downloads

4

Date issued

2015

Authors

Skýbová, Ivana

Journal Title

Journal ISSN

Volume Title

Publisher

Vysoká škola báňská - Technická univerzita Ostrava

Location

Signature

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.

Description

Import 22/07/2015

Subject(s)

Constraint Processing, SAT, SAT solver, reduction between problems, educational server

Citation

Item identifier

http://hdl.handle.net/10084/108953

Collections

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