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: | |||