Εύρεση Λύσεων 
με CP-SAT

• Κωδικοποίηση του CSP ως SAT

• Διακλάδωση αναζήτησης με 

βάση τις επιλογές του VSIDS 

• Εύρεση πλήρων και συνεπών 

αναθέσεων

• Αποκλειστικά για μπλοκ άκρης

19