Pruning CSP search space