Strukturované problémy pro SAT
| Thesis title in Czech: | Strukturované problémy pro SAT |
|---|---|
| Thesis title in English: | Structured problems for SAT |
| Key words: | strukturovaný problém, SAT |
| English key words: | structured problems, SAT |
| Academic year of topic announcement: | 2012/2013 |
| Thesis type: | Bachelor's thesis |
| Thesis language: | čeština |
| Department: | Department of Theoretical Computer Science and Mathematical Logic (32-KTIML) |
| Supervisor: | RNDr. Jan Hric |
| Author: | hidden - assigned and confirmed by the Study Dept. |
| Date of registration: | 18.11.2012 |
| Date of assignment: | 10.12.2012 |
| Confirmed by Study dept. on: | 18.12.2012 |
| Date and time of defence: | 02.09.2013 00:00 |
| Date of electronic submission: | 02.08.2013 |
| Date of submission of printed version: | 02.08.2013 |
| Date of proceeded defence: | 02.09.2013 |
| Opponents: | RNDr. Petr Kučera, Ph.D. |
| Guidelines |
| Cílem práce je navrhnout způsoby pro generování strukturovaných problémů pro SAT a změřit chování SAT solveru na těchto problémech.
Některé problémy budou navrženy tak, aby míra strukturovanosti šla měnit, tj. byla možná kombinace s vhodným náhodně generovaným problémem. Navržené problémy by měli být jak přímo navržené pro SAT, tak převedené z nějaké jiné domény (např. CSP). |
| References |
| S. Russell, P. Norvig: Artificial Intelligence, A Modern Approach, Prentice Hall, Englewood Cliffs, USA, 2003
http://www.satcompetition.org/, SAT competition Pipatsrisawat, K. and Darwiche, A. RSat 2.0: SAT Solver Description. Technical report D153. Automated Reasoning Group, Computer Science Department, University of California, Los Angeles. 2007. http://reasoning.cs.ucla.edu/rsat/papers.html |
| Preliminary scope of work |
| možné názvy:
1. Generování strukturovaných dat pro SAT 2. Chování SAT na strukturovaných problémech 3+ Strukturované problémy pro SAT |