AbHS: A propositional abduction solver based on the implicit hitting set paradigm

Tutkimustuotos: Ei-tekstimuotoinenOhjelmistoTieteellinen

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

Tieteenalat

  • 113 Tietojenkäsittely- ja informaatiotieteet

Siteeraa tätä