@misc{indiciae67e6283bf450,
  title = {Tactix: Towards a Programmable Strategy Interface for Flexible SAT Solving},
  author = {Haoze Wu and André Schidler and Armin Biere and Nina Narodytska},
  year = {2026},
  url = {https://arxiv.org/abs/2610.24369},
  note = {Source identifier: 2610.24369}
}