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 May 26, 2026. https://ojs.aaai.org/index.php/ICAPS/article/view/13442.