Yicun's Homepage
Publications

Yicun Yang

A Ph.D. student of SJTU

Shanghai China
Shanghai Jiao Tong University
Email
Google Scholar
ORCID
Github

Proving Query Equivalence Using Linear Integer Arithmetic

Published in SIGMOD, 2024

Share on

Twitter Facebook LinkedIn

Follow:
GitHub
Feed

© 2025 Yicun Yang. Powered by Jekyll & AcademicPages, a fork of Minimal Mistakes.