On Compiling CNFs into Structured Deterministic DNNFs.

Simone Bova Florent Capelli Stefan Mengel Friedrich Slivovsky

Published in: SAT (2015)

Keyphrases

decomposable negation normal form
structured data
data sets
real world
black box
neural network
reinforcement learning
cnf formula