Reproducibility Report for ACM SIGMOD 2024 Paper: 'Proving Query Equivalence Using Linear Integer Arithmetic'.

Yinzhao Yan, Yicong Huang, Yingli Zhou, Haoran Ding

Browse the full SIGMOD paper archive.