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

Open in new window