Temporal Decomposition for Logic Optimization.
Nathan KitchenAndreas KuehlmannPublished in: ICCD (2005)
Keyphrases
- spatio temporal
- temporal data
- optimization algorithm
- optimization problems
- logic programming
- temporal databases
- temporal reasoning
- optimization method
- temporal constraints
- temporal relations
- decomposition method
- computational properties
- discrete optimization
- temporal information
- spatial and temporal
- learning algorithm
- evolutionary algorithm
- multi valued
- temporal dimension
- temporal consistency
- logic synthesis
- linear temporal logic