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

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

Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig

1 resultat

Filter

Slutfört

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