Portfolio-Based Algorithm Selection for Circuit QBFs

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

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 SzeiderQBF Workshop, 2018.

Bibtex Entry:

@InProceedings{HoosPeitlSlivovskySzeider18a,
  author	= "Hoos, Holger H. and Peitl, Tom{\'a}{\v{s}} and Slivovsky, Friedrich and Szeider, Stefan",
  title		= "Portfolio-Based Algorithm Selection for Circuit {QBF}s",
  booktitle	= "QBF Workshop",
  year		= "2018"
}