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}
}