[1]
L. Kaizer, W., G. Pereira, A. and Ritt, M. 2020. Sequencing Operator Counts with State-Space Search. Proceedings of the International Conference on Automated Planning and Scheduling. 30, 1 (Jun. 2020), 166-174.