Presburger Functional Synthesis: Complexity and Tractable Normal Forms

S. Akshay, A. R. Balasubramanian, Supratik Chakraborty +1

Given a relational specification between inputs and outputs as a logic formula, the problem of functional synthesis is to automatically synthesize a function from inputs to outputs…