Preview fragment. Get full access
The Art of Computer Programming, Volume 4, Fascicle 7: Constraint Satisfaction