QBF | AC Group | TU Wienhttps://ac.tuwien.ac.at/tag/qbf/QBFHugo Blox Builder (https://hugoblox.com)en-usSat, 01 Jan 2022 00:00:00 +0000https://ac.tuwien.ac.at/media/logo_hu10234977157890132473.pngQBFhttps://ac.tuwien.ac.at/tag/qbf/Sum-of-Products with Default Values: Algorithms and Complexity Resultshttps://ac.tuwien.ac.at/publication/sum-of-products-with-default-values-algorithms-and-complexity-results-3/Sat, 01 Jan 2022 00:00:00 +0000https://ac.tuwien.ac.at/publication/sum-of-products-with-default-values-algorithms-and-complexity-results-3/Combining Resolution-Path Dependencies with Dependency Learninghttps://ac.tuwien.ac.at/publication/combining-resolution-path-dependencies-with-dependency-learning-2/Tue, 01 Jan 2019 00:00:00 +0000https://ac.tuwien.ac.at/publication/combining-resolution-path-dependencies-with-dependency-learning-2/Combining Resolution-Path Dependencies with Dependency Learninghttps://ac.tuwien.ac.at/publication/combining-resolution-path-dependencies-with-dependency-learning/Tue, 01 Jan 2019 00:00:00 +0000https://ac.tuwien.ac.at/publication/combining-resolution-path-dependencies-with-dependency-learning/Long-Distance Q-Resolution with Dependency Schemeshttps://ac.tuwien.ac.at/publication/long-distance-q-resolution-with-dependency-schemes-3/Tue, 01 Jan 2019 00:00:00 +0000https://ac.tuwien.ac.at/publication/long-distance-q-resolution-with-dependency-schemes-3/Proof Complexity of Fragments of Long-Distance Q-resolutionhttps://ac.tuwien.ac.at/publication/proof-complexity-of-fragments-of-long-distance-q-resolution-2/Tue, 01 Jan 2019 00:00:00 +0000https://ac.tuwien.ac.at/publication/proof-complexity-of-fragments-of-long-distance-q-resolution-2/Proof Complexity of Fragments of Long-Distance Q-resolutionhttps://ac.tuwien.ac.at/publication/proof-complexity-of-fragments-of-long-distance-q-resolution/Tue, 01 Jan 2019 00:00:00 +0000https://ac.tuwien.ac.at/publication/proof-complexity-of-fragments-of-long-distance-q-resolution/Polynomial-Time Validation of QCDCL Certificateshttps://ac.tuwien.ac.at/publication/polynomial-time-validation-of-qcdcl-certificates/Mon, 01 Jan 2018 00:00:00 +0000https://ac.tuwien.ac.at/publication/polynomial-time-validation-of-qcdcl-certificates/Portfolio-Based Algorithm Selection for Circuit QBFshttps://ac.tuwien.ac.at/publication/portfolio-based-algorithm-selection-for-circuit-qbfs/Mon, 01 Jan 2018 00:00:00 +0000https://ac.tuwien.ac.at/publication/portfolio-based-algorithm-selection-for-circuit-qbfs/Sum-of-Products with Default Values: Algorithms and Complexity Resultshttps://ac.tuwien.ac.at/publication/sum-of-products-with-default-values-algorithms-and-complexity-results/Mon, 01 Jan 2018 00:00:00 +0000https://ac.tuwien.ac.at/publication/sum-of-products-with-default-values-algorithms-and-complexity-results/Long-Distance Q-Resolution with Dependency Schemeshttps://ac.tuwien.ac.at/publication/long-distance-q-resolution-with-dependency-schemes-2/Sun, 01 Jan 2017 00:00:00 +0000https://ac.tuwien.ac.at/publication/long-distance-q-resolution-with-dependency-schemes-2/Long Distance Q-Resolution with Dependency Schemeshttps://ac.tuwien.ac.at/publication/long-distance-q-resolution-with-dependency-schemes/Fri, 01 Jan 2016 00:00:00 +0000https://ac.tuwien.ac.at/publication/long-distance-q-resolution-with-dependency-schemes/