TY  - RPRT
TI  - Satisfiability Modulo Theory Meets Inductive Logic Programming
AU  - Nijesh Upreti
AU  - Vaishak Belle
PY  - 2025
UR  - https://arxiv.org/abs/2512.12918
ID  - 2512.12918
ER  -