Ingo Pill
4 papers
· 2013–2024
· 3 conferences
· across top CS/AI conferences
Achievements
🌍
Conference Polyglot
(3)
🏃
Academic Marathon
(11)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(10)
🚀
Conference Pioneer
Conferences
IJCAI (2)
AAAI (1)
ACL (1)
Top co-authors
Keywords
unsupervised clustering
(1)
model-based diagnosis
(1)
satisfiability solving
(1)
recurrent neural network
(1)
semantic clustering
(1)
sat solver
(1)
conjunctive normal form
(1)
sequential circuit
(1)
minimal diagnosis
(1)
hidden state vector
(1)
diagnosis algorithm
(1)
cnf encoding
(1)
automata state
(1)