Handling Goal Utility Dependencies in a Satisfiability Framework