%0 Conference Paper %1 conf/aiia/FuscaCZP17 %A Fuscà, Davide %A Calimeri, Francesco %A Zangari, Jessica %A Perri, Simona %B RCRA@AI*IA %D 2017 %E Maratea, Marco %E Serina, Ivan %I CEUR-WS.org %K dblp %P 26-32 %T I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector. %U http://dblp.uni-trier.de/db/conf/aiia/rcra2017.html#FuscaCZP17 %V 2011

@inproceedings{conf/aiia/FuscaCZP17, added-at = {2023-03-10T00:00:00.000+0100}, author = {Fuscà, Davide and Calimeri, Francesco and Zangari, Jessica and Perri, Simona}, biburl = {https://www.bibsonomy.org/bibtex/2aa991d224f73adb1ba0d6a5c3abbf99c/dblp}, booktitle = {RCRA@AI*IA}, crossref = {conf/aiia/2017rcra}, editor = {Maratea, Marco and Serina, Ivan}, ee = {https://ceur-ws.org/Vol-2011/paper3.pdf}, interhash = {00d610717ad3af7c2db08c44740b2406}, intrahash = {aa991d224f73adb1ba0d6a5c3abbf99c}, keywords = {dblp}, pages = {26-32}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-10T01:17:04.000+0200}, title = {I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector.}, url = {http://dblp.uni-trier.de/db/conf/aiia/rcra2017.html#FuscaCZP17}, volume = 2011, year = 2017 }