One easy rule is use CP when One of these are true. You need to know the actual optimal answer (metaheurisitics can never prove they have the optimal). You ne

One easy rule is use CP when One of these are true. You need to know the actual optimal answer (metaheurisitics can never prove they have the optimal). You need all solutions to your problem. Your problem is just true/false, not optimisation, and there is no obvious way to measure the quality of a partial solution (so metaheurisitics will struggle). In general, CP does better on smaller, harder problems.