Automated Synthesis of Decision Lists for Polynomial Specifications over Integers

Download PDF
Open Webpage

S. Akshay, Supratik Chakraborty, Amir Kafshdar Goharshady, R. Govind, Harshit J. Motwani, Sai Teja Varanasi

Published: 01 Jan 2024, Last Modified: 03 Aug 2025LPAR 2024EveryoneRevisionsBibTeXCC BY-SA 4.0