Portfolio-Based Algorithm Selection for Circuit QBFs

Hoos, Holger H.; Peitl, Tomáš; Slivovsky, Friedrich; Szeider, Stefan

doi:10.1007/978-3-319-98334-9_13

by Holger H. Hoos, Tomáš Peitl, Friedrich Slivovsky, Stefan Szeider

Reference:

Portfolio-Based Algorithm Selection for Circuit QBFsHolger H. Hoos, Tomáš Peitl, Friedrich Slivovsky, Stefan SzeiderProceedings of CP 2018, the 24rd International Conference on Principles and Practice of Constraint Programming (John N. Hooker, ed.), volume 11008 of Lecture Notes in Computer Science, pages 195–209, 2018, Springer Verlag.

Bibtex Entry:

@string{lncs="Lecture Notes in Computer Science"}
@string{springer="Springer Verlag"}
@InProceedings{HoosPeitlSlivovskySzeider18,
  author       = {Holger H. Hoos and Tom\'{a}\v{s} Peitl and Friedrich
                  Slivovsky and Stefan Szeider},
  title        = {Portfolio-Based Algorithm Selection for Circuit {QBFs}},
  booktitle = {Proceedings of CP 2018, the 24rd International
                  Conference on Principles and Practice of Constraint
                  Programming},
  pages     = {195--209},
  year      = {2018},
  series    = LNCS,
  editor    = {John N. Hooker},
  volume    = {11008},
  publisher = Springer,
  doi       = {10.1007/978-3-319-98334-9_13},
  pdf       = {http://www.ac.tuwien.ac.at/files/tr/ac-tr-18-004.pdf},
  keywords  = {QBF}
}