Efficient Synthesis of Tight Polynomial Upper-bounds for Systems of Conditional Polynomial Recurrences
Institutions
- Hong Kong University of Science and Technology (HK)
- University of Oxford (GB)
- University of Hong Kong (HK)
Publication Details
- Journal
- SPIRE - Sciences Po Institutional REpository
- Published
- 2025-05-03
- Primary Topic
- ICT in Developing Communities
- Type
- article
- Field-Weighted Citation Impact
- 0.00
Funders
- Ethereum Foundation