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

Paul Henrik Alexander Saikko, Johannes Peter Wallner, Matti Juhani Järvisalo

Tutkimustuotos: Ei-tekstimuotoinen › Ohjelmisto › Tieteellinen

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

Tieteenalat

  • 113 Tietojenkäsittely- ja informaatiotieteet

Pääsy asiakirjaan

  • 1 Päättynyt

Siteeraa tätä