Online Bayesian Moment Matching based SAT Solver Heuristics.

Haonan Duan Saeed Nejati George Trimponias Pascal Poupart Vijay Ganesh

Published in: ICML (2020)

Keyphrases

sat solvers
propositional satisfiability
search strategies
sat solving
boolean satisfiability
orders of magnitude
sat problem
sat encodings
sat instances
search space
constraint satisfaction
constraint solver
clause learning
search tree
search algorithm
max sat
heuristic search
branch and bound algorithm