QBF Solving Using Best First Search.

Yifan He Abdallah Saffidine

Published in: CG (2022)

Keyphrases

heuristic search
quantified boolean formulas
search algorithm
branch and bound search
search strategy
evaluation function
evolutionary algorithm