An ant colony algorithm for minimum unsatisfiable core extraction