Quasipolynomial Simulation of DNNF by a Non-determinstic Read-Once Branching Program.

Published in: CP (2015)

Keyphrases

simulation model
boolean functions
simulation study
simulation environment
simulation models
objective function
control system
programming language
test cases
theorem proving