Knuth discusses optional constraints as applied to the n queens problem.
Knuth讨论了应用于n皇后问题的可选约束。