书籍 — constraint satisfaction

EN

计算机程序设计艺术，第4卷，第7分册：约束满足

A

Donald E. Knuth

算法与理论