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