Author:
He Yifan,Saffidine Abdallah
Publisher
Springer Nature Switzerland
Reference26 articles.
1. Cadoli, M., Giovanardi, A., Schaerf, M.: An algorithm to evaluate quantified Boolean formulae. AAAI/IAAI 98, 262–267 (1998)
2. Lecture Notes in Computer Science;T Ederer,2017
3. Ewalds, T.V.: Playing and solving Havannah. Master’s thesis, University of Alberta, Canada (2012)
4. Gent, I., Giunchiglia, E., Narizzano, M., Rowley, A., Tacchella, A.: Watched data structures for QBF solvers. In: SAT, pp. 25–36 (2003)
5. Giunchiglia, E., Narizzano, M., Tacchella, A.: Backjumping for quantified boolean logic satisfiability. AI 145(1–2), 99–120 (2003)