Exploiting suspected redundancy without proving it.

Hari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman

Browse the full DAC paper archive.