Portfolio Solvers for QDIMACS and QCIR (bibtex)
by , , ,
Reference:
Portfolio Solvers for QDIMACS and QCIRHolger H. Hoos, Tomáš Peitl, Friedrich Slivovsky, Stefan SzeiderQBF Evaluation at SAT, 2018.
Bibtex Entry:
@Article{HoosPeitlSlivovskySzeider18b,
  author	= {Hoos, Holger H. and Peitl, Tom{\'a}{\v{s}} and Slivovsky, Friedrich and Szeider, Stefan},
  title		= {Portfolio Solvers for {QDIMACS} and {QCIR}},
  journal	= {QBF Evaluation at SAT},
  year		= {2018}
}
Powered by bibtexbrowser