@misc{indiciaeefb295cb72f1,
  title = {Cache-a-lot: Pushing the Limits of Unsatisfiable Core Reuse in SMT-Based Program Analysis},
  author = {Rustam Sadykov and Azat Abdullin and Marat Akhin},
  year = {2025},
  url = {https://arxiv.org/abs/2504.07642},
  note = {Source identifier: 2504.07642}
}