Moffitt, Michael, and Gernot Günther. “Scalable Scheduling for Hardware-Accelerated Functional Verification”. Proceedings of the International Conference on Automated Planning and Scheduling 21, no. 1 (March 22, 2011): 162-169. Accessed November 5, 2024. https://ojs.aaai.org/index.php/ICAPS/article/view/13442.