Incorporating Learning in Grid-Based Randomized SAT Solving.

Antti Eero Johannes Hyvärinen Tommi A. Junttila Ilkka Niemelä

Published in: AIMSA (2008)

Keyphrases

learning algorithm
sat solving
reinforcement learning
computational complexity
special case
logic programs
sat solvers