On Compiling Structured CNFs to OBDDs.

Simone Bova Friedrich Slivovsky

Published in: CoRR (2014)

Keyphrases

model checking
real world
neural network
structured data
structured learning
temporal logic