Guiding SAT Solving by Formula Partitioning.

Zoltán Ádám Mann Pál András Papp

Published in: Int. J. Artif. Intell. Tools (2017)

Keyphrases

sat solving
sat solvers
boolean satisfiability
sat problem
boolean formula
max sat
reinforcement learning
search strategies
cnf formula
search algorithm
search space
information retrieval systems
utility function
branch and bound algorithm
symmetry breaking