Program Synthesis with Equivalence Reduction.

Calvin Smith, Aws Albarghouthi

Browse the full VMCAI paper archive.