Holger H. Hoos

Recent Publications

Portfolio-Based Algorithm Selection for Circuit QBFs
Holger H. Hoos, Tomas Peitl, Friedrich Slivovsky, Stefan Szeider
2018, Technical report AC-TR-18-004, Algorithms and Complexity Group, TU Wien.
PDF Cite
Portfolio-Based Algorithm Selection for Circuit QBFs
Holger H. Hoos, Tomas Peitl, Friedrich Slivovsky, Stefan Szeider
Proceedings of CP 2018, the 24rd International Conference on Principles and Practice of Constraint Programming (John N. Hooker), volume 11008 of Lecture Notes in Computer Science, pages 195-209, 2018, Springer Verlag.
Cite DOI