Using Decomposition-Parameters for QBF: Mind the Prefix!

Eduard Eiben, Robert Ganian, Sebastian Ordyniak. Using Decomposition-Parameters for QBF: Mind the Prefix!. In Dale Schuurmans, Michael P. Wellman, editors, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA. pages 964-970, AAAI Press, 2016. [doi]

Abstract

Abstract is missing.