Markus Hecher | AC Group | TU Wienhttps://ac.tuwien.ac.at/team/markus-hecher/Markus HecherHugo Blox Builder (https://hugoblox.com)en-usThu, 01 Jun 2023 00:00:00 +0000https://ac.tuwien.ac.at/media/logo_hu10234977157890132473.pngMarkus Hecherhttps://ac.tuwien.ac.at/team/markus-hecher/The Silent (R)evolution of SAThttps://ac.tuwien.ac.at/publication/the-silent-r-evolution-of-sat/Thu, 01 Jun 2023 00:00:00 +0000https://ac.tuwien.ac.at/publication/the-silent-r-evolution-of-sat/Inconsistent Cores for ASP: The Perks and Perils of Non-Monotonicityhttps://ac.tuwien.ac.at/publication/inconsistent-cores-for-asp-the-perks-and-perils-of-non-monotonicity/Sun, 01 Jan 2023 00:00:00 +0000https://ac.tuwien.ac.at/publication/inconsistent-cores-for-asp-the-perks-and-perils-of-non-monotonicity/Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBFhttps://ac.tuwien.ac.at/publication/structure-aware-lower-bounds-and-broadening-the-horizon-of-tractability-for-qbf/Sun, 01 Jan 2023 00:00:00 +0000https://ac.tuwien.ac.at/publication/structure-aware-lower-bounds-and-broadening-the-horizon-of-tractability-for-qbf/Tractable Abstract Argumentation via Backdoor-Treewidthhttps://ac.tuwien.ac.at/publication/tractable-abstract-argumentation-via-backdoor-treewidth/Sat, 01 Jan 2022 00:00:00 +0000https://ac.tuwien.ac.at/publication/tractable-abstract-argumentation-via-backdoor-treewidth/A Time Leap Challenge for SAT-Solvinghttps://ac.tuwien.ac.at/publication/a-time-leap-challenge-for-sat-solving/Wed, 01 Jan 2020 00:00:00 +0000https://ac.tuwien.ac.at/publication/a-time-leap-challenge-for-sat-solving/Breaking Symmetries with RootClique and LexTopsorthttps://ac.tuwien.ac.at/publication/breaking-symmetries-with-rootclique-and-lextopsort-2/Wed, 01 Jan 2020 00:00:00 +0000https://ac.tuwien.ac.at/publication/breaking-symmetries-with-rootclique-and-lextopsort-2/Breaking Symmetries with RootClique and LexTopsorthttps://ac.tuwien.ac.at/publication/breaking-symmetries-with-rootclique-and-lextopsort/Wed, 01 Jan 2020 00:00:00 +0000https://ac.tuwien.ac.at/publication/breaking-symmetries-with-rootclique-and-lextopsort/Solving the Steiner Tree Problem with few Terminalshttps://ac.tuwien.ac.at/publication/solving-the-steiner-tree-problem-with-few-terminals/Wed, 01 Jan 2020 00:00:00 +0000https://ac.tuwien.ac.at/publication/solving-the-steiner-tree-problem-with-few-terminals/An SMT Approach to Fractional Hypertree Widthhttps://ac.tuwien.ac.at/publication/an-smt-approach-to-fractional-hypertree-width-2/Mon, 01 Jan 2018 00:00:00 +0000https://ac.tuwien.ac.at/publication/an-smt-approach-to-fractional-hypertree-width-2/An SMT Approach to Fractional Hypertree Widthhttps://ac.tuwien.ac.at/publication/an-smt-approach-to-fractional-hypertree-width/Mon, 01 Jan 2018 00:00:00 +0000https://ac.tuwien.ac.at/publication/an-smt-approach-to-fractional-hypertree-width/