TY  - RPRT
TI  - A Modern View on MCSat
AU  - Thomas Hader
AU  - Theo Jauschneg
AU  - Daniela Kaufmann
AU  - Laura Kovacs
PY  - 2026
UR  - https://arxiv.org/abs/2607.03777
ID  - 2607.03777
ER  -