• Doctoral Thesis  Open Access

      Advances in SAT-Based planning 

      Sideris, Andreas G. (Πανεπιστήμιο Κύπρου, Σχολή Θετικών και Εφαρμοσμένων Επιστημών / University of Cyprus, Faculty of Pure and Applied Sciences, 2015-05)
      Ο σχεδιασμός δράσης είναι ένα δύσκολο πρόβλημα. Ακόμα και οι πιο απλές του μορφές είναι υπολογιστικά δυσεπίλυτες ('intractable'). Παρόλο που είναι απίθανος ο αποτελεσματικός (ως προς χρόνο) σχεδιασμός δράσης στη γενική ...