Johannes K. Fichte | AC Group | TU Wienhttps://ac.tuwien.ac.at/team/johannes-k.-fichte/Johannes K. FichteHugo Blox Builder (https://hugoblox.com)en-usThu, 01 Jun 2023 00:00:00 +0000https://ac.tuwien.ac.at/media/logo_hu10234977157890132473.pngJohannes K. Fichtehttps://ac.tuwien.ac.at/team/johannes-k.-fichte/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/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/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/SAT-Based Local Improvement for Finding Tree Decompositions of Small Widthhttps://ac.tuwien.ac.at/publication/sat-based-local-improvement-for-finding-tree-decompositions-of-small-width-2/Sun, 01 Jan 2017 00:00:00 +0000https://ac.tuwien.ac.at/publication/sat-based-local-improvement-for-finding-tree-decompositions-of-small-width-2/SAT-Based Local Improvement for Finding Tree Decompositions of Small Widthhttps://ac.tuwien.ac.at/publication/sat-based-local-improvement-for-finding-tree-decompositions-of-small-width/Sun, 01 Jan 2017 00:00:00 +0000https://ac.tuwien.ac.at/publication/sat-based-local-improvement-for-finding-tree-decompositions-of-small-width/