Mudathir Mahgoub Yahia Mohamad
Extensions to Theories of Relations and Tables in SMT
Defense date
Location
Zoom
Degree major
Computer Science
Chair(s)
Cesare Tinelli