Exploiting Circuit Reconvergence through Static Learning in CNF SAT Solvers.

Yinlei Yu Cameron Brien Sharad Malik

Published in: VLSI Design (2008)

Keyphrases

sat solvers
learning algorithm
evolutionary algorithm
search strategies
reinforcement learning
search space
active learning
sat solving
genetic algorithm
orders of magnitude
first order logic
constraint satisfaction
propositional logic
max sat
boolean satisfiability