Keyword:decision lists

Publications
Automated Synthesis of Decision Lists for Polynomial Specifications over Integers S. Akshay, Supratik Chakraborty, Amir Kafshdar Goharshady, R Govind, Harshit Jitendra Motwani and Sai Teja Varanasi In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning