Local Search For SMT On Linear and Multilinear Real Arithmetic.

Bohan Li Shaowei Cai

Published in: CoRR (2023)

Keyphrases

search algorithm
real life
higher order
real world
independent components analysis
neural network
optimal solution
search space
simulated annealing
high order