A Non-prenex, Non-clausal QBF Solver with Game-State Learning.

William Klieber Samir Sapra Sicun Gao Edmund M. Clarke

Published in: SAT (2010)

Keyphrases

learning process
reinforcement learning
learning algorithm
online learning
state space
learning games
search space
background knowledge
video games
game design
digital games
mobile games