Learning from BDDs in SAT-based bounded model checking.

Aarti Gupta Malay K. Ganai Chao Wang Zijiang Yang Pranav Ashar

Published in: DAC (2003)

Keyphrases

bounded model checking
learning process
supervised learning
learning systems
learning algorithm
online learning
reinforcement learning
model checking
search space