书籍 — constraint propagation