Synthesizing Switching Logic Using Constraint Solving.

Ankur Taly, Sumit Gulwani, Ashish Tiwari

Browse the full VMCAI paper archive.