Optimisation and consistency
l
Reorder clauses
l
Limit the search space
l
Detect inconsistencies i.e. logic
contradiction; might be violation of
constraints
31
