Using Decomposition-Parameters for QBF: Mind the Prefix!

Eiben, Eduard; Ganian, Robert; Ordyniak, Sebastian

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}
}