A Local Search Algorithm for MaxSMT(LIA).
Xiang HeBohan LiMengyu ZhaoShaowei CaiPublished in: CoRR (2024)
Keyphrases
- search algorithm
- search space
- heuristic search
- branch and bound
- tabu search
- multiresolution
- metaheuristic
- integer arithmetic
- search strategy
- search methods
- special case
- dead end
- search problems
- search tree
- selection algorithm
- data sets
- artificial neural networks
- computational complexity
- video sequences
- reinforcement learning
- metadata
- computer vision
- artificial intelligence