Knowledge Processing and Information Systems
On the Generalization of Learned Constraints for ASP Solving in Temporal Domains

@article{DBLP:journals/tplp/RomeroSS25,
  title = {On the Generalization of Learned Constraints for {ASP} Solving in Temporal Domains},
  author = {Romero, Javier and Schaub, Torsten and Strauch, Klaus},
  journal = {Theory Pract. Log. Program.},
  number = {2},
  pages = {197--224},
  volume = {25},
  year = {2025}
}