Johannes Klaus Fichte
2 papers
· 2022–2022
· 1 conference
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(13)
Conferences
AAAI (2)
Top co-authors
Keywords
answer set programming
(2)
approximate counting
(1)
optimal solution
(1)
xor constraint
(1)
model counting
(1)
interactive navigation
(1)
solution space
(1)
gaussian elimination
(1)
propositional model counting
(1)
navigation framework
(1)
scalable reasoning
(1)
computational complexity
(1)
faceted browsing
(1)