{"version.version":"0.0.7","version.cm_url":"https://github.com/ceurws/ceur-spt","spt.html_url":"/Vol-2011/paper3.html","spt.description":null,"spt.id":"Vol-2011/paper3","spt.wikidataid":null,"spt.title":"I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector","spt.pdfUrl":"https://ceur-ws.org/Vol-2011/paper3.pdf","spt.volume":{"number":2011,"acronym":"RCRA 2017","wikidataid":"Q113546231","title":"Proceedings of the 24th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2017","description":"Proceedings of RCRA 2017 workshop","url":"http://ceur-ws.org/Vol-2011/","date":"2017-11-30","dblp":"conf/aiia/2017rcra","k10plus":"1029115222","urn":"urn:nbn:de:0074-2011-9"},"spt.session":null,"cvb.id":"Vol-2011/paper3","cvb.title":"I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector","cvb.type":null,"cvb.position":null,"cvb.pagesFrom":null,"cvb.pagesTo":null,"cvb.authors":"Davide Fuscà,Francesco Calimeri,Jessica Zangari,Simona Perri","cvb.vol_number":"2011","cvb.pdf_name":"paper3.pdf","cvb.pages":"26-32","cvb.fail":null,"dblp.dblp_publication_id":"https://dblp.org/rec/conf/aiia/FuscaCZP17","dblp.dblp_proceeding_id":"https://dblp.org/rec/conf/aiia/2017rcra","dblp.volume_number":2011,"dblp.title":"I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector.","dblp.authors":[{"dblp_author_id":"https://dblp.org/pid/138/0714","label":"Jessica Zangari","wikidata_id":"Q62056073","orcid_id":"0000-0002-6418-7711","gnd_id":null},{"dblp_author_id":"https://dblp.org/pid/138/0745","label":"Davide Fuscà","wikidata_id":null,"orcid_id":null,"gnd_id":null},{"dblp_author_id":"https://dblp.org/pid/80/5264","label":"Simona Perri","wikidata_id":null,"orcid_id":"0000-0002-8036-5709","gnd_id":null},{"dblp_author_id":"https://dblp.org/pid/c/FrancescoCalimeri","label":"Francesco Calimeri","wikidata_id":"Q42414417","orcid_id":"0000-0002-0866-0834","gnd_id":"1076806767"}],"dblp.pdf_id":"Vol-2011/paper3"}