André Schidler

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 27

Top Topics

Hypertree Decomposition

Weighted Model Counting

Maximum Satisfiability

Top Venues

J. Artif. Intell. Res.

Publications

André Schidler, Stefan Szeider
SAT-based Decision Tree Learning for Large Data Sets. J. Artif. Intell. Res. 80 (2024)
André Schidler, Stefan Szeider
Structure-Guided Local Improvement for Maximum Satisfiability. CP (2024)
Sebastian Ordyniak, André Schidler, Stefan Szeider
Backdoor DNFs. J. Comput. Syst. Sci. 144 (2024)
André Schidler, Stefan Szeider
Computing Twin-width with SAT and Branch & Bound. IJCAI (2023)
André Schidler, Stefan Szeider
SAT-boosted Tabu Search for Coloring Massive Graphs. ACM J. Exp. Algorithmics 28 (2023)
Marijn J. H. Heule, Inês Lynce, Stefan Szeider, André Schidler
SAT Encodings and Beyond (Dagstuhl Seminar 23261). Dagstuhl Reports 13 (6) (2023)
André Schidler, Stefan Szeider
Computing optimal hypertree decompositions with SAT. Artif. Intell. 325 (2023)
Rafael Kiesel, André Schidler
A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets. ALENEX (2023)
Rafael Kiesel, André Schidler
PACE Solver Description: DAGer - Cutting out Cycles with MaxSAT. IPEC (2022)
André Schidler
SAT-Based Local Search for Plane Subgraph Partitions (CG Challenge). SoCG (2022)
Robert Ganian, André Schidler, Manuel Sorge, Stefan Szeider
Threshold Treewidth and Hypertree Width. J. Artif. Intell. Res. 74 (2022)
Robert Ganian, Filip Pokrývka, André Schidler, Kirill Simonov, Stefan Szeider
Weighted Model Counting with Twin-Width. SAT (2022)
Rafael Kiesel, André Schidler
A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets. CoRR (2022)
André Schidler, Robert Ganian, Manuel Sorge, Stefan Szeider
Threshold Treewidth and Hypertree Width. CoRR (2022)
Robert Ganian, Filip Pokrývka, André Schidler, Kirill Simonov, Stefan Szeider
Weighted Model Counting with Twin-Width. CoRR (2022)
Wolfgang Dvorák, Markus Hecher, Matthias König, André Schidler, Stefan Szeider, Stefan Woltran
Tractable Abstract Argumentation via Backdoor-Treewidth. AAAI (2022)
André Schidler, Stefan Szeider
A SAT Approach to Twin-Width. ALENEX (2022)
André Schidler, Stefan Szeider
SAT-based Decision Tree Learning for Large Data Sets. AAAI (2021)
André Schidler, Stefan Szeider
Computing Optimal Hypertree Decompositions with SAT. IJCAI (2021)
André Schidler, Stefan Szeider
A SAT Approach to Twin-Width. CoRR (2021)
Sebastian Ordyniak, André Schidler, Stefan Szeider
Backdoor DNFs. IJCAI (2021)
Johannes Klaus Fichte, Norbert Manthey, Julian Stecklina, André Schidler
Towards Faster Reasoners by Using Transparent Huge Pages. CP (2020)
Johannes Klaus Fichte, Norbert Manthey, Julian Stecklina, André Schidler
Towards Faster Reasoners By Using Transparent Huge Pages. CoRR (2020)
Robert Ganian, André Schidler, Manuel Sorge, Stefan Szeider
Threshold Treewidth and Hypertree Width. IJCAI (2020)
Johannes Klaus Fichte, Markus Hecher, André Schidler
Solving the Steiner Tree Problem with few Terminals. CoRR (2020)
André Schidler, Stefan Szeider
Computing Optimal Hypertree Decompositions. ALENEX (2020)
Johannes Klaus Fichte, Markus Hecher, André Schidler
Solving the Steiner Tree Problem with few Terminals. ICTAI (2020)