Rémi Brochenin, Marco Maratea. Abstract Solvers for Quantified Boolean Formulas and their Applications. In Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, editors, AI*IA 2015, Advances in Artificial Intelligence - XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings. Volume 9336 of Lecture Notes in Computer Science, pages 205-217, Springer, 2015.
Abstract is missing.