@article{DBLP:journals/corr/abs-2401-16124, title = {On the generalization of learned constraints for {ASP} solving in temporal domains}, author = {Romero, Javier and Schaub, Torsten and Strauch, Klaus}, journal = {CoRR}, volume = {abs/2401.16124}, year = {2024} }