Mudathir Mohamed
Extensions to Theories of Relations and Tables in SMT
Defense date
Location
TBD (Contact Department)
Degree major
Computer Science
Chair(s)
Cesare Tinelli