Login / Signup

DQBDD: An Efficient BDD-Based DQBF Solver.

Juraj SícJan Strejcek
Published in: SAT (2021)
Keyphrases
  • evolutionary algorithm
  • machine learning
  • artificial intelligence
  • computer vision
  • web services
  • orders of magnitude
  • binary decision diagrams
  • constraint solver