Towards HLA-based Optimistic Synchronization with CSPs.
Steffen StrassburgerPublished in: SIGSIM-PADS (2015)
Keyphrases
- constraint satisfaction problems
- constraint propagation
- constraint satisfaction
- arc consistency
- phase locked
- backtracking algorithm
- constraint problems
- search space
- symmetry breaking
- temporal constraints
- non binary
- multi stream
- hypertree decomposition
- music score
- databases
- np hard
- objective function
- neural network
- configuration problems