Efficient Local Search for Nonlinear Real Arithmetic.

Zhonghan Wang Bohua Zhan Bohan Li Shaowei Cai

Published in: CoRR (2023)

Keyphrases

genetic algorithm
computationally efficient
cost effective
real time
real world
search algorithm
real life
multiresolution
lightweight