People
Research
Courses
Updates
Jobs
Contact
Internal
Light
Dark
Automatic
Johannes K. Fichte
Recent Publications
The Silent (R)evolution of SAT
2023
Inconsistent Cores for ASP: The Perks and Perils of Non-Monotonicity
2023
A Time Leap Challenge for SAT-Solving
2020
Breaking Symmetries with RootClique and LexTopsort
2020
An SMT Approach to Fractional Hypertree Width
2018
SAT-Based Local Improvement for Finding Tree Decompositions of Small Width
2017
Cite
×