https://ac.tuwien.ac.at/team/joshua-blinkhorn/Joshua BlinkhornHugo Blox Builder (https://hugoblox.com)en-usMon, 01 Jan 2024 00:00:00 +0000https://ac.tuwien.ac.at/media/logo_hu10234977157890132473.pnghttps://ac.tuwien.ac.at/team/joshua-blinkhorn/https://ac.tuwien.ac.at/publication/hard-qbfs-for-merge-resolution/Mon, 01 Jan 2024 00:00:00 +0000https://ac.tuwien.ac.at/publication/hard-qbfs-for-merge-resolution/https://ac.tuwien.ac.at/publication/hardness-characterisations-and-size-width-lower-bounds-for-qbf-resolution/Thu, 01 Sep 2022 00:00:00 +0000https://ac.tuwien.ac.at/publication/hardness-characterisations-and-size-width-lower-bounds-for-qbf-resolution/https://ac.tuwien.ac.at/publication/davis-and-putnam-meet-henkin-solving-dqbf-with-resolution-2/Fri, 01 Jan 2021 00:00:00 +0000https://ac.tuwien.ac.at/publication/davis-and-putnam-meet-henkin-solving-dqbf-with-resolution-2/https://ac.tuwien.ac.at/publication/davis-and-putnam-meet-henkin-solving-dqbf-with-resolution/Fri, 01 Jan 2021 00:00:00 +0000https://ac.tuwien.ac.at/publication/davis-and-putnam-meet-henkin-solving-dqbf-with-resolution/https://ac.tuwien.ac.at/publication/strong-d-qbf-dependency-schemes-via-implication-free-resolution-paths/Fri, 01 Jan 2021 00:00:00 +0000https://ac.tuwien.ac.at/publication/strong-d-qbf-dependency-schemes-via-implication-free-resolution-paths/https://ac.tuwien.ac.at/publication/hard-qbfs-for-merge-resolution-2/Wed, 01 Jan 2020 00:00:00 +0000https://ac.tuwien.ac.at/publication/hard-qbfs-for-merge-resolution-2/https://ac.tuwien.ac.at/publication/strong-d-qbf-dependency-schemes-via-tautology-free-resolution-paths/Wed, 01 Jan 2020 00:00:00 +0000https://ac.tuwien.ac.at/publication/strong-d-qbf-dependency-schemes-via-tautology-free-resolution-paths/