@misc{indiciae9c47c35d7910,
  title = {Faster SAT Solving for Software with Repeated Structures (with Case Studies on Software Test Suite Minimization)},
  author = {Jianfeng Chen and Xipeng Shen and Tim Menzies},
  year = {2021},
  url = {https://arxiv.org/abs/2101.02817},
  note = {Source identifier: 2101.02817}
}