Program Synthesis for Non-linear Real Arithmetic: Going Beyond Realizability.

S. Akshay, Supratik Chakraborty, R. Govind, Aniruddha R. Joshi

Browse the full IJCAR paper archive.