Synthesizing switching logic using constraint solving (2009)

by A Taly, S Gulwani, A Tiwari
Venue:In VMCAI’09, LNCS, 5403:305–319