TY  - RPRT
TI  - Faster SAT Solving for Software with Repeated Structures (with Case Studies on Software Test Suite Minimization)
AU  - Jianfeng Chen
AU  - Xipeng Shen
AU  - Tim Menzies
PY  - 2021
UR  - https://arxiv.org/abs/2101.02817
ID  - 2101.02817
ER  -