Local Search for SMT on Linear Integer Arithmetic.

Shaowei Cai Bohan Li Xindi Zhang

Published in: CAV (2) (2022)

Keyphrases

integer arithmetic
search algorithm
search space
euclidean distance transform
genetic algorithm
computer vision
simulated annealing
optimal solution
statistical machine translation