Sturtevant, N.; Felner, A.; Helmert, M. Value Compression of Pattern Databases. AAAI 2017, 31.