@misc{indiciae2b4e60e7c965,
  title = {Computing NP-hard Repetitiveness Measures via MAX-SAT},
  author = {Hideo Bannai and Keisuke Goto and Masakazu Ishihata and Shunsuke Kanda and Dominik Köppl and Takaaki Nishimoto},
  year = {2022},
  url = {https://arxiv.org/abs/2207.02571},
  note = {Source identifier: 2207.02571}
}