Johannes Klaus Fichte
Publikationer
2026
The Model Counting Competitions 2021-2023
Artificial Intelligence, Artikel 104605
(Artikel i tidskrift)
https://dx.doi.org/10.1016/j.artint.2026.104605
The Relative Strength of #SAT Proof Systems
Journal of automated reasoning, Vol. 70, Artikel 12
(Artikel i tidskrift)
https://dx.doi.org/10.1007/s10817-026-09757-w
Diversity of Extensions in Abstract Argumentation
Proceedings of the 35th International Joint Conference on Artificial Intelligence
(Konferensbidrag)
Counting Complexity of ASP
Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning
(Konferensbidrag)
https://dx.doi.org/10.24963/kr.2026/11
Reverse-Engineering Constraint Models from CNFs: An Agentic Approach
Proceedings of the 17th International Workshop on Pragmatics of SAT
(Konferensbidrag)
