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

Alkuperäiskielienglanti
TilaJulkaistu - 2018
OKM-julkaisutyyppiI2 Tieto- ja viestintätekniset sovellukset

Tieteenalat

  • 113 Tietojenkäsittely- ja informaatiotieteet

Muut tiedostot ja linkit

  • 1 Päättynyt

Siteeraa tätä