TY  - RPRT
TI  - Answer Set Programming Modulo Theories and Reasoning about Continuous Changes
AU  - Joohyung Lee
AU  - Yunsong Meng
PY  - 2025
UR  - https://arxiv.org/abs/2507.04299
ID  - 2507.04299
ER  -