Andr{\'{e}} Schidler | AC Group | TU Wienhttps://ac.notready.eu/author/andr%5Ce-schidler/Andr{\'{e}} SchidlerHugo Blox Builder (https://hugoblox.com)en-usWed, 01 Jan 2025 00:00:00 +0000https://ac.notready.eu/media/logo_hu10234977157890132473.pngAndr{\'{e}} Schidlerhttps://ac.notready.eu/author/andr%5Ce-schidler/Analyzing Reformulation Performance in Core-Guided MaxSAT Solvinghttps://ac.notready.eu/publication/analyzing-reformulation-performance-in-core-guided-maxsat-solving/Wed, 01 Jan 2025 00:00:00 +0000https://ac.notready.eu/publication/analyzing-reformulation-performance-in-core-guided-maxsat-solving/A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Setshttps://ac.notready.eu/publication/a-dynamic-maxsat-based-approach-to-directed-feedback-vertex-sets/Sun, 01 Jan 2023 00:00:00 +0000https://ac.notready.eu/publication/a-dynamic-maxsat-based-approach-to-directed-feedback-vertex-sets/Computing optimal hypertree decompositions with SAThttps://ac.notready.eu/publication/computing-optimal-hypertree-decompositions-with-sat-2/Sun, 01 Jan 2023 00:00:00 +0000https://ac.notready.eu/publication/computing-optimal-hypertree-decompositions-with-sat-2/PACE Solver Description: DAGer - Cutting out Cycles with MaxSAThttps://ac.notready.eu/publication/pace-solver-description-dager-cutting-out-cycles-with-maxsat/Sat, 01 Jan 2022 00:00:00 +0000https://ac.notready.eu/publication/pace-solver-description-dager-cutting-out-cycles-with-maxsat/SAT-Based Local Search for Plane Subgraph Partitions (CG Challenge)https://ac.notready.eu/publication/sat-based-local-search-for-plane-subgraph-partitions-cg-challenge/Sat, 01 Jan 2022 00:00:00 +0000https://ac.notready.eu/publication/sat-based-local-search-for-plane-subgraph-partitions-cg-challenge/Solving the Steiner Tree Problem with few Terminalshttps://ac.notready.eu/publication/solving-the-steiner-tree-problem-with-few-terminals/Wed, 01 Jan 2020 00:00:00 +0000https://ac.notready.eu/publication/solving-the-steiner-tree-problem-with-few-terminals/Towards Faster Reasoners by Using Transparent Huge Pageshttps://ac.notready.eu/publication/towards-faster-reasoners-by-using-transparent-huge-pages/Wed, 01 Jan 2020 00:00:00 +0000https://ac.notready.eu/publication/towards-faster-reasoners-by-using-transparent-huge-pages/