conftrace_

enumeration complexity

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

decision-dnnf circuit (1) prime implicant (1) sufficient reason (1) abductive explanation (1) explainable ai (1)

Papers

On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits IJCAI 2022