Πρόβλημα Ικανοποίησης 
Περιορισμών

• Μεταβλητές Χ → μπλοκ άκρης
• Πεδία Ορισμού D → ύπαρξη (ή μη) νάρκης
• Περιορισμοί C → έκφραση κάθε αριθμού

18