@misc{indiciae5f9c4bbeba54,
  title = {Efficient Incremental \#SAT via Cross-Instance Knowledge Reuse},
  author = {Uriya Bartal and Dror Fried and Jean-Marie Lagniez},
  year = {2026},
  url = {https://arxiv.org/abs/2605.00671},
  note = {Source identifier: 2605.00671}
}