Synthesizing Piece-Wise Functions by Learning Classifiers.

Daniel Neider, Shambwaditya Saha, P. Madhusudan

Browse the full TACAS paper archive.