Modeling selected computational problems as SAT-CNF and analyzing (some) structural properties of obtained formulas
| dc.contributor.author | Mrowczyk, Michał | |
| dc.contributor.department | Wydział Informatyki, Elektroniki i Telekomunikacji | |
| dc.contributor.reviewer | Kuta, Marcin | |
| dc.contributor.supervisor | Faliszewski, Piotr | |
| dc.date.available | 2019-04-10T09:15:44Z | |
| dc.date.defence | 2017-10-26 | |
| dc.date.submitted | 2017-10-16 | |
| dc.description.type | praca magisterska | |
| dc.identifier.uri | https://repo.agh.edu.pl/handle/AGH/70461 | |
| dc.language.iso | eng | |
| dc.rights | Access rights reserved | |
| dc.rights.access | zastrzeżony dostęp | |
| dc.rights.accessNote | Zarządzenie Rektora AGH | |
| dc.rights.uri | https://repo.agh.edu.pl/info/restricted-access | |
| dc.title | Modeling selected computational problems as SAT-CNF and analyzing (some) structural properties of obtained formulas | en |
| dc.title.alternative | Modelowanie wybranych problemów obliczeniowych przez formuły CNF i analiza ich własności strukturalnych | pl |
| dc.type | praca dyplomowa | |
| dspace.entity.type | Publication | |
| thesis.degree.discipline | Informatyka (WIEiT) | pl |
| thesis.degree.formOfStudy | stacjonarne | pl |
| thesis.degree.grantor | Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie | pl |
| thesis.degree.level | studia drugiego stopnia | pl |
| thesis.degree.name | magister inżynier | pl |
| thesis.description.otherinfo | Correct – DRS, courseID | pl |
| thesis.statusORPD | ORPPD1_sent |