Browsing Τμήμα Πληροφορικής / Department of Computer Science by Subject "ΕΥΡΕΤΙΚΕΣ ΜΕΘΟΔΟΙ"
Now showing items 1-1 of 1
-
Doctoral Thesis Open Access
Advances in SAT-Based planning
(Πανεπιστήμιο Κύπρου, Σχολή Θετικών και Εφαρμοσμένων Επιστημών / University of Cyprus, Faculty of Pure and Applied Sciences, 2015-05)Ο σχεδιασμός δράσης είναι ένα δύσκολο πρόβλημα. Ακόμα και οι πιο απλές του μορφές είναι υπολογιστικά δυσεπίλυτες ('intractable'). Παρόλο που είναι απίθανος ο αποτελεσματικός (ως προς χρόνο) σχεδιασμός δράσης στη γενική ...