@inproceedings{DBLP:conf/ruleml/0003SS22, title = {On the Generalization of Learned Constraints for {ASP} Solving in Temporal Domains}, author = {Romero, Javier and Schaub, Torsten and Strauch, Klaus}, booktitle = {RuleML+RR}, pages = {20--37}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {13752}, year = {2022} }