People
Research
Courses
Updates
Jobs
Contact
Internal
Light
Dark
Automatic
Markus Hecher
Recent Publications
The Silent (R)evolution of SAT
2023
Inconsistent Cores for ASP: The Perks and Perils of Non-Monotonicity
2023
Tractable Abstract Argumentation via Backdoor-Treewidth
2022
A Time Leap Challenge for SAT-Solving
2020
Breaking Symmetries with RootClique and LexTopsort
2020
An SMT Approach to Fractional Hypertree Width
2018
Cite
×