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

Javier Romero, Torsten Schaub, Klaus Strauch

The representation of a dynamic problem in ASP usually boils down to using copies of variables and constraints, one for each time stamp, no matter whether it is directly encoded or…