TY  - RPRT
TI  - On the generalization of learned constraints for ASP solving in temporal domains
AU  - Javier Romero
AU  - Torsten Schaub
AU  - Klaus Strauch
PY  - 2024
DO  - 10.1017/s1471068424000462
UR  - https://arxiv.org/abs/2401.16124
ID  - 2401.16124
ER  -