Ion Matei
3 papers
· 2020–2023
· 2 conferences
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🌍
Conference Polyglot
(2)
🐝
Cross-Pollinator
(11)
Conferences
AAAI (2)
JMLR (1)
Top co-authors
Keywords
model-based diagnosis
(2)
satisfiability solving
(1)
gradient descent
(1)
sensitivity analysis
(1)
parameter learning
(1)
block coordinate descent
(1)
analog computing
(1)
numerical integration
(1)
differential equation
(1)
sat solver
(1)
ordinary differential equation
(1)
dynamical system model
(1)
initial value problem
(1)
conjunctive normal form
(1)
sequential circuit
(1)
minimal diagnosis
(1)
diagnosis algorithm
(1)
operational amplifier
(1)
cnf encoding
(1)