Andre Schidler

9 papers · 2020–2026 · 3 conferences · across top CS/AI conferences

Achievements

🧭 Keyword Pioneer 🌍 Conference Polyglot (3) 🏃 Academic Marathon (5) 🐝 Cross-Pollinator (8) 🌈 Renaissance Researcher (5) 🌉 Interdisciplinary Bridge 🗺️ Taxonomy Completionist (13)

Conferences

AAAI (4) IJCAI (4) ICML (1)

Top co-authors

Stefan Szeider (6) Jeremias Berg (2) Matti Järvisalo (2) Manuel Sorge (2) Dieter Vandesande (1) Hannes Ihalainen (1) Luca Pascal Staus (1) Christian Komusiewicz (1) Sebastian Ordyniak (1) Bart Bogaerts (1)

Keywords

constraint satisfaction (3) sat encoding (3) fixed-parameter tractability (3) combinatorial optimization (3) hypertree width (2) integer programming (1) exact algorithm (1) np-hard problem (1) stochastic local search (1) constraint satisfaction problem (1) hypertree decomposition (1) decomposition method (1) structural parameter (1) hypergraph invariant (1) elimination ordering (1) cnf formula (1) algorithmic complexity (1) reasoning task (1) abstract argumentation (1) maximum satisfiability (1)

Papers

Ordered Objectives in Maximum Satisfiability AAAI 2026

Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach AAAI 2026

Learning Minimum-Size BDDs: Towards Efficient Exact Algorithms ICML 2025

Computing Twin-width with SAT and Branch & Bound IJCAI 2023

Tractable Abstract Argumentation via Backdoor-Treewidth AAAI 2022

Backdoor DNFs IJCAI 2021

SAT-based Decision Tree Learning for Large Data Sets AAAI 2021

Computing Optimal Hypertree Decompositions with SAT IJCAI 2021

Threshold Treewidth and Hypertree Width IJCAI 2020