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

1 tulosta

Päättynyt

Polynomisen hierarkian päätösproseduurit, Boolean optimointi, ja mallien laskenta
Järvisalo, M. (Projektinjohtaja)
Unknown funder
01/09/2014 → 31/08/2019
Projekti: Tutkimusprojekti