%0 Conference Paper %1 conf/aiia/AlvianoD16 %A Alviano, Mario %A Dodaro, Carmine %B AI*IA %D 2016 %E Adorni, Giovanni %E Cagnoni, Stefano %E Gori, Marco %E Maratea, Marco %I Springer %K dblp %P 149-163 %T Answer Set Enumeration via Assumption Literals. %U http://dblp.uni-trier.de/db/conf/aiia/aiia2016.html#AlvianoD16 %V 10037 %@ 978-3-319-49129-5

@inproceedings{conf/aiia/AlvianoD16, added-at = {2019-06-02T00:00:00.000+0200}, author = {Alviano, Mario and Dodaro, Carmine}, biburl = {https://www.bibsonomy.org/bibtex/2ea878ca6acbb167e86529f29c597f37c/dblp}, booktitle = {AI*IA}, crossref = {conf/aiia/2016}, editor = {Adorni, Giovanni and Cagnoni, Stefano and Gori, Marco and Maratea, Marco}, ee = {https://www.wikidata.org/entity/Q62043811}, interhash = {986830dffb1433f89228b85978f59cbb}, intrahash = {ea878ca6acbb167e86529f29c597f37c}, isbn = {978-3-319-49129-5}, keywords = {dblp}, pages = {149-163}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T13:16:00.000+0200}, title = {Answer Set Enumeration via Assumption Literals.}, url = {http://dblp.uni-trier.de/db/conf/aiia/aiia2016.html#AlvianoD16}, volume = 10037, year = 2016 }