Portfolio-Based Algorithm Selection for Circuit QBFs (bibtex)
by , , ,
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.Note: to appear
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,
  pdf       = {http://www.ac.tuwien.ac.at/files/tr/ac-tr-18-004.pdf},
  note      = {to appear},
}
Powered by bibtexbrowser