@inproceedings{EibenGanianOrdyniak16,
 author = {Eduard Eiben and
Robert Ganian and
Sebastian Ordyniak},
 booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence},
 editor = {Dale Schuurmans and Michael P. Wellman},
 keywords = {xtract},
 pages = {964--970},
 publisher = {{AAAI} Press},
 title = {Using Decomposition-Parameters for QBF: Mind the Prefix!},
 url = {http://www.aaai.org/ocs/index.php/AAAI/AAAI16/paper/view/12420},
 year = {2016}
}