Efficient encoding for exact symbolic automata-based scheduling.

Steve Haynal, Forrest Brewer

Browse the full ICCAD paper archive.