A Moderately Exponential Time Algorithm for k-IBDD Satisfiability.
Atsuki NagaoKazuhisa SetoJunichi TeruyamaPublished in: WADS (2015)
Keyphrases
- detection algorithm
- learning algorithm
- linear complexity
- experimental evaluation
- simulated annealing
- dynamic programming
- times faster
- optimization algorithm
- search space
- improved algorithm
- np hard
- neural network
- computational cost
- genetic algorithm
- computational complexity
- recognition algorithm
- high accuracy
- significant improvement
- k means
- objective function
- reinforcement learning
- particle swarm optimization
- expectation maximization
- theoretical analysis
- similarity measure
- image segmentation
- clustering algorithm
- convergence rate
- cost function