Andre Schidler
9 papers · 2020–2026 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
๐งญ 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
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