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

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

Research output: Non-textual form › Software › Scientific

1 results

Filter

Finished

Decision Procedures for the Polynomial Hierarchy, Boolean Optimization, and Model Counting
Järvisalo, M. (Project manager)
Unknown funder
01/09/2014 → 31/08/2019
Project: Research project