Alexander Feldman
3 papers
· 2013–2020
· 2 conferences
· across top CS/AI conferences
Achievements
🌍
Conference Polyglot
(2)
🏃
Academic Marathon
(7)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(10)
🚀
Conference Pioneer
Conferences
AAAI (2)
IJCAI (1)
Top co-authors
Keywords
model-based diagnosis
(2)
satisfiability solving
(1)
analog computing
(1)
numerical integration
(1)
differential equation
(1)
sat solver
(1)
initial value problem
(1)
conjunctive normal form
(1)
sequential circuit
(1)
minimal diagnosis
(1)
diagnosis algorithm
(1)
operational amplifier
(1)
cnf encoding
(1)