Finite-Domain-Constraints (FD)

Definition

• prädikatenlogische Formel über mehrsortiger Signatur,
• für jede Sorte eine endliche Menge

Beispiele

• magisches Quadrat, Sudoku
• Rösselsprung, n-Damen-Problem
• Graphenfärbungen
• SAT