constraint satisfaction, Explanation Sequence, Implicit hitting set duality, Unsatisfiable Subset Optimization.