B. Pang and R. Holte, “State-Set Search”, SOCS, vol. 2, no. 1, pp. 125–133, Aug. 2021.