# Principles and Practice of Constraint Programming - CP 2005

Overview of attention for book
Attention for Chapter 73: Towards an Optimal CNF Encoding of Boolean Cardinality Constraints