MPhil in Computer Science & Engg - Constraint-Specific Acceleration of Z3 Solver with Extended Search Space Coverage

Name: MPhil in Computer Science & Engg - Constraint-Specific Acceleration of Z3 Solver with Extended Search Space Coverage
Start: 2021-06-01
End: 2021-06-01

2021 年 6 月 1 日

2:00pm - 5:00pm

, HKUST

Supporting the below United Nations Sustainable Development Goals:支持以下聯合國可持續發展目標：支持以下联合国可持续发展目标：

活動形式

論文答辯

候選人

HUANG, Linjie

語言

英文