T. Davies, A. Pearce, P. Stuckey, and N. Lipovetzky, “Sequencing Operator Counts”, ICAPS, vol. 25, no. 1, pp. 61–69, Apr. 2015.