Unsatisfiable Core Shrinking for Anytime Answer Set Optimization.

Mario Alviano, Carmine Dodaro

Browse the full IJCAI paper archive.