On the generalization of learned constraints for ASP solving in temporal domains