Login / Signup
On Tackling the Limits of Resolution in SAT Solving.
Alexey Ignatiev
António Morgado
João Marques-Silva
Published in:
CoRR (2017)
Keyphrases
</>
sat solving
clause learning
sat solvers
boolean satisfiability
sat problem
boolean optimization
special case
satisfiability problem
genetic algorithm
reinforcement learning
orders of magnitude
tabu search
max sat
symmetry breaking