Translation-based Constraint Answer Set Solving