On Continuous Local BDD-Based Search for Hybrid SAT Solving.

Anastasios Kyrillidis Moshe Y. Vardi Zhiwei Zhang

Published in: AAAI (2021)

Keyphrases

sat solving
search algorithm
sat solvers
heuristic search algorithms
symmetry breaking
boolean satisfiability
search methods
search space