Supplementary Information regarding the TACAS 2016 paper:
Abstract Learning Frameworks for Synthesis
Full version of paper:
Synthesizing Piece-wise Functions by Learning Classifiers
by Christof Loeding, P. Madhusudan, and Daniel Neider