Solution Dominance over Constraint Satisfaction Problems