Modeling selected computational problems as SAT-CNF and analyzing (some) structural properties of obtained formulas
Loading...
Defence Date
2017-10-26
Authors
Supervisors:
Reviewers:
Access rights
Access: zastrzeżony dostęp
Access details: Zarządzenie Rektora AGH
Other title
Modelowanie wybranych problemów obliczeniowych przez formuły CNF i analiza ich własności strukturalnych
Resource type
Defence details
Degree Grantor: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
Course: Informatyka (WIEiT)
Form of study: stacjonarne
Degree level: studia drugiego stopnia
Degree name: magister inżynier
Description
Keywords
Abstract
Access rights
Access: zastrzeżony dostęp
Access details: Zarządzenie Rektora AGH