Automated Synthesis of Decision Lists for Polynomial Specifications over Integers.

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

Browse the full LPAR paper archive.