Alexander Feldman
3 papers · 2013–2020 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
🌍 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)