TY - RPRT TI - Computing NP-hard Repetitiveness Measures via MAX-SAT AU - Hideo Bannai AU - Keisuke Goto AU - Masakazu Ishihata AU - Shunsuke Kanda AU - Dominik Köppl AU - Takaaki Nishimoto PY - 2022 UR - https://arxiv.org/abs/2207.02571 ID - 2207.02571 ER -