A Symbolic Algorithm for the Case-Split Rule in Solving Word Constraints with Extensions (Technical Report).
Yu-Fang ChenVojtech HavlenaOndrej LengálAndrea TurriniPublished in: CoRR (2023)
Keyphrases
- optimal solution
- learning algorithm
- expectation maximization
- computational complexity
- computational cost
- dynamic programming
- linear programming problems
- detection algorithm
- cost function
- significant improvement
- optimization algorithm
- recognition algorithm
- string matching
- np hard
- multiple constraints
- segmentation algorithm
- k means
- clustering method
- matching algorithm
- knapsack problem
- constrained optimization
- technical report
- path consistency
- lower and upper bounds
- convex hull
- linear programming
- simulated annealing
- decision trees