[PDF] - Constraints, and how to satisfy them: Symmetry & Search Colva PDF Document