iSat: Structure Visualization for SAT Problems.

Ezequiel Orbe Carlos Areces Gabriel G. Infante López

Published in: LPAR (2012)

Keyphrases

sat problem
sat solvers
reinforcement learning
search algorithm
dynamic programming
decision makers
satisfiability problem
stochastic local search