Εύρεση Λύσεων με CP-SAT
• Κωδικοποίηση του CSP ως SAT
• Διακλάδωση αναζήτησης με
βάση τις επιλογές του VSIDS
• Εύρεση πλήρων και συνεπών
αναθέσεων
• Αποκλειστικά για μπλοκ άκρης
19