Presburger Functional Synthesis: Complexity and Tractable Normal Forms.

S. Akshay, A. R. Balasubramanian, Supratik Chakraborty, Georg Zetzsche

Browse the full KR paper archive.