Search Results for author: Klaus Strauch

Found 1 papers, 0 papers with code

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

no code implementations29 Jan 2024 Javier Romero, Torsten Schaub, Klaus Strauch

Our question is now whether a constraint learned for particular time steps can be generalized and reused at other time stamps, and ultimately whether this enhances the overall solver performance on temporal problems.

Cannot find the paper you are looking for? You can Submit a new open access paper.