ASP-HS: An answer set optimizer based on the implicit hitting set paradigm

Paul Saikko, Carmine Dodaro, Mario Alviano, Matti Järvisalo

Tutkimustuotos: Ei-tekstimuotoinen › Ohjelmisto › Tieteellinen

  • 1 Päättynyt

Hakutulokset