On Compiling Structured CNFs to OBDDs.

Simone Bova Friedrich Slivovsky

Published in: CSR (2015)

Keyphrases

model checking
complex valued
real world
boolean functions
structured learning
data sets
neural network
multi agent
search algorithm
real valued
temporal logic
recursive least squares