André Schidler

Recent Publications

Extracting Problem Structure with LLMs for Optimized SAT Local Search

2025

SAT-based Decision Tree Learning for Large Data Sets

2024

Structure-guided Local Improvement for Maximum Satisfiability

2024

A SAT Approach to Twin-Width

2022

SAT-Based Local Search for Plane Subgraph Partitions (CG Challenge)

2022

Parameterized Complexity of Small Decision Tree Learning

2021

Computing Optimal Hypertree Decompositions

2020