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.