N. Sturtevant, A. Felner, and M. Helmert, “Value Compression of Pattern Databases”, AAAI, vol. 31, no. 1, Feb. 2017.