Gianpiero Cabodi, Sergio Nocco, Stefano Quer, Alex Kondratyev, Luciano Lavagno, Yosinori Watanabe. A BMC-formulation for the scheduling problem in highly constrained hardware Systems. Electronic Notes in Theoretical Computer Science, 89(4):623-638, 2003. [doi]
Abstract is missing.