N Queens
Variables = board columns
Domain values = rows
Rij = {(ai, aj) : (ai ? aj) ? (|i-j| ? |ai-aj|)
e.g. R12 = {(1,3), (1,4), (2,4), (3,1), (4,1), (4,2)}
Q
Q
Q
Previous slide
Next slide
Back to first slide
View graphic version