Research Projects (as PI)
SAGE: A Symbiosis of SAtisfiability Checking, Graph NEural Networks and Symbolic Computation
MANeUveR: Management Agency for Cloud Resources
Publications
on
dbpl
on
Google Scholar
on
ACM Digital Library
on
Scopus
on
Web of Knowledge
on
Researchgate
Contact:
Mădălina ERAŞCU
.