Gaurav Sood | AC Group | TU Wienhttps://ac.notready.eu/author/gaurav-sood/Gaurav SoodHugo Blox Builder (https://hugoblox.com)en-usMon, 01 Jan 2024 00:00:00 +0000https://ac.notready.eu/media/logo_hu10234977157890132473.pngGaurav Soodhttps://ac.notready.eu/author/gaurav-sood/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/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/