Iterative constraint reasoning: dynamic constraint reasoning in time space.
Lothar HotzRainer HerzogStephanie von RiegenPublished in: SPLC (B) (2022)
Keyphrases
- constraint reasoning
- constraint propagation
- temporal constraints
- temporal reasoning
- search space
- constraint satisfaction problems
- path consistency
- dynamic environments
- constraint satisfaction
- arc consistency
- space time
- constraint programming
- low dimensional
- artificial intelligence
- relational databases
- database systems
- three dimensional