Holger H. Hoos | AC Group | TU Wienhttps://ac.notready.eu/author/holger-h.-hoos/Holger H. HoosHugo Blox Builder (https://hugoblox.com)en-usMon, 01 Jan 2018 00:00:00 +0000https://ac.notready.eu/media/logo_hu10234977157890132473.pngHolger H. Hooshttps://ac.notready.eu/author/holger-h.-hoos/Portfolio-Based Algorithm Selection for Circuit QBFshttps://ac.notready.eu/publication/portfolio-based-algorithm-selection-for-circuit-qbfs-3/Mon, 01 Jan 2018 00:00:00 +0000https://ac.notready.eu/publication/portfolio-based-algorithm-selection-for-circuit-qbfs-3/Portfolio-Based Algorithm Selection for Circuit QBFshttps://ac.notready.eu/publication/portfolio-based-algorithm-selection-for-circuit-qbfs/Mon, 01 Jan 2018 00:00:00 +0000https://ac.notready.eu/publication/portfolio-based-algorithm-selection-for-circuit-qbfs/