T. Schmidt and R. Zhou, “Succinct Set-Encoding for State-Space Search”, AAAI, vol. 25, no. 1, pp. 87–92, Aug. 2011.