Efficient encoding for exact symbolic automata-based scheduling

Steve Haynal, Forrest Brewer. Efficient encoding for exact symbolic automata-based scheduling. In ICCAD. pages 477-481, 1998. [doi]

Abstract

Abstract is missing.