@inproceedings{ijcai2017p666, author = {Mario Alviano and Carmine Dodaro}, title = {Unsatisfiable Core Shrinking for Anytime Answer Set Optimization}, booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI-17}}, pages = {4781--4785}, year = {2017}, doi = {10.24963/ijcai.2017/666}, url = {https://doi.org/10.24963/ijcai.2017/666}, }