Saving Space by Fully Exploiting Invisible Transitions.

Hillel Miller, Shmuel Katz

Browse the full CAV paper archive.