Georg Weissenbacher | AC Group | TU Wienhttps://ac.notready.eu/author/georg-weissenbacher/Georg WeissenbacherHugo Blox Builder (https://hugoblox.com)en-usWed, 01 Jan 2020 00:00:00 +0000https://ac.notready.eu/media/logo_hu10234977157890132473.pngGeorg Weissenbacherhttps://ac.notready.eu/author/georg-weissenbacher/Multi-linear Strategy Extraction for QBF Expansion Proofs via Local Soundnesshttps://ac.notready.eu/publication/multi-linear-strategy-extraction-for-qbf-expansion-proofs-via-local-soundness/Wed, 01 Jan 2020 00:00:00 +0000https://ac.notready.eu/publication/multi-linear-strategy-extraction-for-qbf-expansion-proofs-via-local-soundness/