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