TY  - RPRT
TI  - SAT-IT: an Online Interactive SAT Tracer
AU  - Wilber Bermeo
AU  - Jordi Coll
AU  - Pau Ferrer
AU  - Mateu Villaret
PY  - 2026
UR  - https://arxiv.org/abs/2606.28819
ID  - 2606.28819
ER  -