Constraints: Search, Domain Reduction