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

Anastasios Kyrillidis Moshe Y. Vardi Zhiwei Zhang

Published in: CoRR (2020)

Keyphrases

sat solving
search algorithm
search space
symmetry breaking
heuristic search algorithms
special case
sat solvers
search tree
boolean satisfiability
genetic algorithm
heuristic search
search strategies