Learning to Order BDD Variables in Verification

Orna Grumberg Shlomi Livne Shaul Markovitch

Published in: CoRR (2011)

Keyphrases

learning algorithm
learning process
learning systems
reinforcement learning
supervised learning
knowledge acquisition
inductive inference
data sets
probability distribution
online learning
learning scenarios
boolean functions
learning scheme