TY  - RPRT
TI  - Satisfiability Modulo Extensional Constant Arrays (Extended Version)
AU  - Mathias Preiner
AU  - Aina Niemetz
AU  - Clark Barrett
PY  - 2026
UR  - https://arxiv.org/abs/2605.16820
ID  - 2605.16820
ER  -