TY  - RPRT
TI  - Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates
AU  - Shaowei Zhu
AU  - Zachary Kincaid
PY  - 2024
DO  - 10.1007/978-3-031-65627-9_21
UR  - https://arxiv.org/abs/2409.18063
ID  - 2409.18063
ER  -