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