Yong Kiam Tan
Yong Kiam Tan
Affiliation: Nanyang Technological University and Singapore Institute for Infocomm Research
Pages in this Program
End-to-End Verification for Constraint Programming: Closing the Encodings Gap
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑