Sign in
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