TY  - RPRT
TI  - An Effective Orchestral Approach to Satisfiability Modulo Prime Fields
AU  - Miguel Isabel
AU  - Enric Rodríguez-Carbonell
AU  - Clara Rodríguez-Núñez
AU  - Albert Rubio
PY  - 2026
UR  - https://arxiv.org/abs/2604.26709
ID  - 2604.26709
ER  -