Sign in

QBF Solving Using Best First Search.

Yifan HeAbdallah Saffidine
Published in: CG (2022)
Keyphrases
  • heuristic search
  • quantified boolean formulas
  • search algorithm
  • branch and bound search
  • search strategy
  • evaluation function
  • evolutionary algorithm