Supplementary Information regarding the TACAS 2016 paper:
Synthesizing Piece-wise Functions by Learning Classifiers
Full version of paper:
Synthesizing Piece-wise Functions by Learning Classifiers
by Daniel Neider, Shambwaditya Saha, and P. Madhusudan