Olaf Beyersdorff | AC Group | TU Wienhttps://ac.notready.eu/author/olaf-beyersdorff/Olaf BeyersdorffHugo Blox Builder (https://hugoblox.com)en-usMon, 01 Jan 2024 00:00:00 +0000https://ac.notready.eu/media/logo_hu10234977157890132473.pngOlaf Beyersdorffhttps://ac.notready.eu/author/olaf-beyersdorff/Hard QBFs for Merge Resolutionhttps://ac.notready.eu/publication/hard-qbfs-for-merge-resolution/Mon, 01 Jan 2024 00:00:00 +0000https://ac.notready.eu/publication/hard-qbfs-for-merge-resolution/QCDCL with cube learning or pure literal elimination - What is best?https://ac.notready.eu/publication/qcdcl-with-cube-learning-or-pure-literal-elimination-what-is-best-2/Mon, 01 Jan 2024 00:00:00 +0000https://ac.notready.eu/publication/qcdcl-with-cube-learning-or-pure-literal-elimination-what-is-best-2/Should Decisions in QCDCL Follow Prefix Order?https://ac.notready.eu/publication/should-decisions-in-qcdcl-follow-prefix-order-2/Mon, 01 Jan 2024 00:00:00 +0000https://ac.notready.eu/publication/should-decisions-in-qcdcl-follow-prefix-order-2/QCDCL with Cube Learning or Pure Literal Elimination - What is Best?https://ac.notready.eu/publication/qcdcl-with-cube-learning-or-pure-literal-elimination-what-is-best/Sat, 01 Jan 2022 00:00:00 +0000https://ac.notready.eu/publication/qcdcl-with-cube-learning-or-pure-literal-elimination-what-is-best/Should Decisions in QCDCL Follow Prefix Order?https://ac.notready.eu/publication/should-decisions-in-qcdcl-follow-prefix-order/Sat, 01 Jan 2022 00:00:00 +0000https://ac.notready.eu/publication/should-decisions-in-qcdcl-follow-prefix-order/Strong (D)QBF Dependency Schemes via Implication-free Resolution Pathshttps://ac.notready.eu/publication/strong-d-qbf-dependency-schemes-via-implication-free-resolution-paths/Fri, 01 Jan 2021 00:00:00 +0000https://ac.notready.eu/publication/strong-d-qbf-dependency-schemes-via-implication-free-resolution-paths/Hard QBFs for Merge Resolutionhttps://ac.notready.eu/publication/hard-qbfs-for-merge-resolution-2/Wed, 01 Jan 2020 00:00:00 +0000https://ac.notready.eu/publication/hard-qbfs-for-merge-resolution-2/Strong (D)QBF Dependency Schemes via Tautology-free Resolution Pathshttps://ac.notready.eu/publication/strong-d-qbf-dependency-schemes-via-tautology-free-resolution-paths/Wed, 01 Jan 2020 00:00:00 +0000https://ac.notready.eu/publication/strong-d-qbf-dependency-schemes-via-tautology-free-resolution-paths/