Limitations of partial compaction: towards practical bounds.

Nachshon Cohen, Erez Petrank

Browse the full PLDI paper archive.