conftrace_

decision-dnnf circuit

1 paper

Explore in graph

Also known as

DEC-DNNF

Co-occurring keywords · papers mentioning both

enumeration complexity (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