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 OrdyniakJ. Comput. Syst. Sci., volume 110, pages 1–21, 2020.

Bibtex Entry:

@article{EibenGanianOrdyniak20,
  author    = {Eduard Eiben and
               Robert Ganian and
               Sebastian Ordyniak},
  title     = {Using decomposition-parameters for {QBF:} Mind the prefix!},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {110},
  pages     = {1--21},
  year      = {2020},
  url       = {https://doi.org/10.1016/j.jcss.2019.12.005},
  keywords  = {nfpc}
}