TY  - RPRT
TI  - Quantifier Elimination and Craig Interpolation, Quantitatively
AU  - Kevin Batz
AU  - Joost-Pieter Katoen
AU  - Nora Orhan
PY  - 2026
UR  - https://arxiv.org/abs/2501.15156
ID  - 2501.15156
ER  -