Summing up Smart Transitions.

Neta Elad, Sophie Rain, Neil Immerman, Laura Kovcs, Mooly Sagiv

Browse the full CAV paper archive.