Øv med flashcards — CSP I: formulering og konsistens

Hver formulering starter her: list variablene $X$, gi domenet til hver variabel i $D$, og skriv alle begrensningene i $C$. Vanlig feil er å utelate begrensninger som virker selvsagte, for da finnes de ikke for algoritmen.