2 citations · 2 across the 10 of their papers we have counts for
1 paper · 1 filter
Shaowei Zhu, Zachary Kincaid
This paper studies the problem of synthesizing (lexicographic) polynomial ranking functions for loops that can be described in polynomial arithmetic over integers and reals. While…