Zhenglin Xu

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Integer Arithmetic

Euclidean Distance Transform

Query Evaluation

Top Venues

Proc. ACM Manag. Data

Publications

Haoran Ding, Zhaoguo Wang, Yicun Yang, Dexin Zhang, Zhenglin Xu, Haibo Chen, Ruzica Piskac, Jinyang Li
Proving Query Equivalence Using Linear Integer Arithmetic. Proc. ACM Manag. Data 1 (4) (2023)