Efficient Synthesis of Tight Polynomial Upper-Bounds for Systems of Conditional Polynomial Recurrences.

Amir Kafshdar Goharshady, S. Hitarth, Sergei Novozhilov

Browse the full ESOP paper archive.