Andre Schidler
9 papers · 2020–2026 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🏃
Academic Marathon · Sprint
🌉
Interdisciplinary Bridge · Silver
🗺️
Taxonomy Completionist
(14)
🐣
Hot Topic Early Bird
Top co-authors
Research topics
Keywords
combinatorial optimization
(3)
constraint satisfaction
(3)
fixed-parameter tractability
(3)
sat encoding
(3)
hypertree width
(2)
decision tree learning
(1)
hamming distance
(1)
integer programming
(1)
exact algorithm
(1)
binary decision diagram
(1)
np-hard problem
(1)
stochastic local search
(1)
constraint satisfaction problem
(1)
hypertree decomposition
(1)
decomposition method
(1)
np-complete
(1)
structural parameter
(1)
witness-tree paradigm
(1)
hypergraph invariant
(1)
elimination ordering
(1)
Papers
Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach
AAAI 2026
Ordered Objectives in Maximum Satisfiability
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
Computing Optimal Hypertree Decompositions with SAT
IJCAI 2021
SAT-based Decision Tree Learning for Large Data Sets
AAAI 2021
Threshold Treewidth and Hypertree Width
IJCAI 2020