CHAMP: A multipass algorithm for Max Sat based on saver variables.
Daniel BerendShahar GolanYochai TwittoPublished in: Discret. Optim. (2023)
Keyphrases
- experimental evaluation
- times faster
- detection algorithm
- recognition algorithm
- k means
- significant improvement
- computational cost
- optimization algorithm
- segmentation algorithm
- preprocessing
- dynamic programming
- probabilistic model
- learning algorithm
- high accuracy
- computational complexity
- optimal solution
- cost function
- linear programming
- objective function
- heuristic search
- constraint satisfaction
- similarity measure
- neural network
- version space