MPhil in Computer Science & Engg - CONSTRAINT-SPECIFIC ACCELERATION OF Z3 SOLVER WITH EXTENDED SEARCH SPACE COVERAGE
2:00pm - 5:00pm
https://hkust.zoom.us/j/7373258683?pwd=bEZuQW5KVUx5d3M2aWh5ZHl6N2xwQT09, HKUST
Event Format
Thesis Defense
Candidate
HUANG, Linjie
Language
English