Vol-2010⫷ Vol-2011 ⫸Vol-2012
urn:nbn:de:0074-2011-0


Vol-2011/paper2⫷Vol-2011/paper3⫸Vol-2011/paper4
Davide FuscàFrancesco CalimeriJessica ZangariSimona Perri

I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector