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