On the generalization of learned constraints for ASP solving in temporal domains.
Javier RomeroTorsten SchaubKlaus StrauchPublished in: CoRR (2024)
Keyphrases
- temporal intervals
- constrained problems
- linear programming problems
- real world
- configuration problems
- temporal reasoning
- constraint satisfaction
- temporal dimension
- efficient learning
- spatio temporal
- constraint problems
- temporal data
- temporal constraints
- spatial and temporal
- temporal information
- dynamic constraint satisfaction problems
- combinatorial problems
- constraint optimization
- integer program
- constraint solving
- inductive bias
- temporal planning
- mixed integer program
- heuristic search
- distributed constraint optimization problems
- mutual exclusion
- combinatorial optimization
- temporal databases
- constraint networks
- linear constraints
- search problems
- resource constraints