Knowledge Processing and Information Systems
On the generalization of learned constraints for ASP solving in temporal domains

@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}
}