书籍 — propagation

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

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

A

Donald E. Knuth

算法与理论