Efficient Local Search for Nonlinear Real Arithmetic.

Zhonghan Wang Bohua Zhan Bohan Li Shaowei Cai

Published in: VMCAI (1) (2024)

Keyphrases

real world
real time
neural network
machine learning
genetic algorithm
information systems
search algorithm
real life
search space
cost effective
database
multiresolution
computationally efficient
memetic algorithm