yQuaffle

Submitter: Yinlei Yu
Description: Devised by Yinlei Yu and Sharad Malik, it is a search-based solver, featuring multiple conflict driven learning, solution based backtracking, and inversion of quantifiers.[ Y. Yu and S. Malik. Verifying the Correctness of Quantified Boolean Formula(QBF) Solvers Theory and Practice. In ASP-DAC, 2005.]
Results: