A symbolic algorithm for the case-split rule in solving word constraints with extensions.
Yu-Fang ChenVojtech HavlenaOndrej LengálAndrea TurriniPublished in: J. Syst. Softw. (2023)
Keyphrases
- learning algorithm
- optimal solution
- dynamic programming
- optimization algorithm
- np hard
- detection algorithm
- computational complexity
- preprocessing
- linear programming problems
- computational cost
- convergence rate
- matching algorithm
- segmentation algorithm
- constraint satisfaction
- linear programming
- worst case
- hidden markov models
- k means
- objective function
- combinatorial optimization
- constrained optimization
- lower and upper bounds
- multiple constraints
- particle swarm optimization
- simulated annealing
- co occurrence
- probabilistic model
- multi objective
- significant improvement
- search space