Learning to Order BDD Variables in Verification.

Orna Grumberg Shlomi Livne Shaul Markovitch

Published in: J. Artif. Intell. Res. (2003)

Keyphrases

learning process
learning algorithm
prior knowledge
online learning
learning systems
bayesian networks
active learning
inductive inference
neural network
multi agent
mobile devices
background knowledge
causal bayesian networks