Please use this identifier to cite or link to this item:
https://olympias.lib.uoi.gr/jspui/handle/123456789/39230| Title: | Μια SAT διατύπωση για την εξέταση της εικασίας του Barnette Engineering Barnette's conjecture with SAT |
| Institution and School/Department of submitter: | Πανεπιστήμιο Ιωαννίνων. Σχολή Θετικών Επιστημών |
| Keywords: | Hamiltonicity,Book Embeddings,Planar Graphs |
| URI: | https://olympias.lib.uoi.gr/jspui/handle/123456789/39230 |
| Appears in Collections: | Διατριβές Μεταπτυχιακής Έρευνας (Masters) - ΜΑΘ |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Master_Thesis_Ntasiou.pdf | 598.19 kB | Adobe PDF | View/Open |
This item is licensed under a Creative Commons License
