@misc{indiciaecd0259ea1a2b,
  title = {On the generalization of learned constraints for ASP solving in temporal domains},
  author = {Javier Romero and Torsten Schaub and Klaus Strauch},
  year = {2024},
  doi = {10.1017/s1471068424000462},
  url = {https://arxiv.org/abs/2401.16124},
  note = {Source identifier: 2401.16124}
}