Branch Elimination via Multi-variable Condition Merging.

William C. Kreahling, David B. Whalley, Mark W. Bailey, Xin Yuan, Gang-Ryung Uh, Robert van Engelen

Browse the full EuroPar paper archive.