Comment by boonsuan

have you read his current draft of fascicle 7a (7.2.2.3 Constraint Satisfaction)? it is currently 145 pages and is available at https://cs.stanford.edu/~knuth/fasc7a.ps.gz