TY  - RPRT
TI  - Tactix: Towards a Programmable Strategy Interface for Flexible SAT Solving
AU  - Haoze Wu
AU  - André Schidler
AU  - Armin Biere
AU  - Nina Narodytska
PY  - 2026
UR  - https://arxiv.org/abs/2610.24369
ID  - 2610.24369
ER  -