书籍 — constraint programming