%0 Journal Article %1 journals/tplp/AlvianoD16 %A Alviano, Mario %A Dodaro, Carmine %D 2016 %J Theory Pract. Log. Program. %K dblp %N 5-6 %P 533-551 %T Anytime answer set optimization via unsatisfiable core shrinking. %U http://dblp.uni-trier.de/db/journals/tplp/tplp16.html#AlvianoD16 %V 16

@article{journals/tplp/AlvianoD16, added-at = {2020-02-13T00:00:00.000+0100}, author = {Alviano, Mario and Dodaro, Carmine}, biburl = {https://www.bibsonomy.org/bibtex/266d6f04d62983c5629a6dc9a4386f8cb/dblp}, ee = {https://www.wikidata.org/entity/Q62043813}, interhash = {04b7f68d6286fd33cc1a7ef93eec3089}, intrahash = {66d6f04d62983c5629a6dc9a4386f8cb}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = {5-6}, pages = {533-551}, timestamp = {2020-02-14T11:43:18.000+0100}, title = {Anytime answer set optimization via unsatisfiable core shrinking.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp16.html#AlvianoD16}, volume = 16, year = 2016 }