# Propagation complete encodings of smooth DNNF theories

14 Sep 2019Petr KučeraPetr Savický

We investigate conjunctive normal form (CNF) encodings of a function represented with a smooth decomposable negation normal form (DNNF). Several encodings of DNNFs and decision diagrams were considered by (Abio et al. 2016)... (read more)

PDF Abstract