Functional synthesis for linear arithmetic and sets

Viktor Kuncak, Mikaƫl Mayer, Ruzica Piskac, Philippe Suter. Functional synthesis for linear arithmetic and sets. STTT, 15(5-6):455-474, 2013. [doi]

Abstract

Abstract is missing.