Portfolio Solvers for QDIMACS and QCIR

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

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

Reference:

Portfolio Solvers for QDIMACS and QCIRHolger H. Hoos, Tomáš Peitl, Friedrich Slivovsky, Stefan Szeider2018.Note: QBF Evaluation at SAT

Bibtex Entry:

@Misc{HoosPeitlSlivovskySzeider18b,
  author	= {Hoos, Holger H. and Peitl, Tom{\'a}{\v{s}} and
                  Slivovsky, Friedrich and Szeider, Stefan},
  title		= {Portfolio Solvers for {QDIMACS} and {QCIR}},
  year      = {2018},
  note      = {QBF Evaluation at SAT},
}