TY  - RPRT
TI  - Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search
AU  - Pinhan Zhao
AU  - Yuepeng Wang
AU  - Xinyu Wang
PY  - 2025
UR  - https://arxiv.org/abs/2504.06542
ID  - 2504.06542
ER  -