Luca Pulina, Armando Tacchella. QuBIS: An (In)complete Solver for Quantified Boolean Formulas. In Alexander F. Gelbukh, Eduardo F. Morales, editors, MICAI 2008: Advances in Artificial Intelligence, 7th Mexican International Conference on Artificial Intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 2008, Proceedings. Volume 5317 of Lecture Notes in Computer Science, pages 34-43, Springer, 2008. [doi]
Abstract is missing.