A Moderately Exponential Time Algorithm for k-IBDD Satisfiability.
Atsuki NagaoKazuhisa SetoJunichi TeruyamaPublished in: Algorithmica (2018)
Keyphrases
- computational complexity
- learning algorithm
- high accuracy
- detection algorithm
- experimental evaluation
- dynamic programming
- significant improvement
- theoretical analysis
- linear complexity
- k means
- randomly generated
- simulated annealing
- improved algorithm
- optimization algorithm
- optimal solution
- cost function
- preprocessing
- computational cost
- worst case
- segmentation algorithm
- particle swarm optimization
- recognition algorithm
- convergence rate
- linear programming
- genetic algorithm
- multi objective