Functional Synthesis via Input-Output Separation | IEEE Conference Publication | IEEE Xplore