Η προσέγγιση της εργασίας
►
Εύρεση και αναγνώρισης του ταμπλό με μεθόδους μηχανικής όρασης
►
Χρήση ντετερμινιστικών ευριστικών μεθόδων για απλές καταστάσεις
►
Μοντελοποίηση των πιο απαιτητικών ως Πρόβλημα Ικανοποίησης
Περιορισμών (CSP)
►
Κωδικοποίηση και επίλυση ως Πρόβλημα Ικανοποίησης Boolean (SAT) από
υβριδικό επιλυτή CP-SAT
►
Επιλογή κινήσεων με πιθανοτική ανάλυση του ταμπλό
5