Mutsunori Banbara, Hideo Bannai, Takashi Horiyama, Dominik Köppl, Takuya Mieno, Hidetomo Nabeshima: Optimal Dictionary-Based Compression with Answer Set Programming: Encodings and Empirical Analysis. KR 2026