TY  - RPRT
TI  - Extending SMT Solving with Non-Ground Clause Learning
AU  - Yasmine Briefs
AU  - Christoph Weidenbach
PY  - 2026
UR  - https://arxiv.org/abs/2609.11509
ID  - 2609.11509
ER  -