TY  - RPRT
TI  - ASP-FZN: A Translation-based Constraint Answer Set Solver
AU  - Thomas Eiter
AU  - Tobias Geibinger
AU  - Tobias Kaminski
AU  - Nysret Musliu
AU  - Johannes Oetsch
PY  - 2025
DO  - 10.1017/s1471068425100264
UR  - https://arxiv.org/abs/2507.22774
ID  - 2507.22774
ER  -