Johannes K. Fichte

Recent Publications

The Silent (R)evolution of SAT
Communications of the ACM, volume 66, number 6, pages 64-72, June 2023.
Inconsistent Cores for ASP: The Perks and Perils of Non-Monotonicity
Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023 (Brian Williams and Yiling Chen and Jennifer Neville), pages 6363-6371, 2023, AAAI Press.
A Time Leap Challenge for SAT-Solving
Proceedings of CP 2020, the 26th International Conference on Principles and Practice of Constraint Programming (Helmut Simonis), volume 12333 of Lecture Notes in Computer Science, pages 267-285, 2020, Springer Verlag.
Breaking Symmetries with RootClique and LexTopsort
2020, Technical report AC-TR-20-010, Algorithms and Complexity Group, TU Wien.
Breaking Symmetries with RootClique and LexTopsort
Proceedings of CP 2020, the 26th International Conference on Principles and Practice of Constraint Programming (Helmut Simonis), volume 12333 of Lecture Notes in Computer Science, pages 286-303, 2020, Springer Verlag.