Encoding Constraints as Binary Constraint Networks Satisfying BTP.
Ruiwei WangPublished in: AAAI (2024)
Keyphrases
- constraint networks
- temporal reasoning
- constraint language
- tree decomposition
- binary constraints
- constraint satisfaction problems
- constraint satisfaction
- set intersection
- temporal constraint networks
- non binary
- path consistency
- backtracking algorithms
- arc consistency
- constraint programming
- backtracking algorithm
- encoding schemes
- series parallel
- scene labeling
- constraint graph
- constraint optimization
- complexity bounds
- tree width
- reinforcement learning
- qualitative spatial and temporal reasoning
- structural properties
- low level
- special case