Using Decomposition-Parameters for QBF: Mind the Prefix! (bibtex)
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, February 12-17, 2016, Phoenix, Arizona, USA. (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,
               February 12-17, 2016, Phoenix, Arizona, {USA.}},
  pages     = {964--970},
  editor    = {Dale Schuurmans and
               Michael P. Wellman},
  publisher = {{AAAI} Press},
  year      = {2016},
  url       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI16/paper/view/12420},
}
Powered by bibtexbrowser