Expander CNFs have Exponential DNNF Size.

Simone Bova Florent Capelli Stefan Mengel Friedrich Slivovsky

Published in: CoRR (2014)

Keyphrases

exponential size
computational complexity
genetic algorithm
complex valued