A search-based procedure for nonlinear real arithmetic.

Ashish Tiwari Patrick Lincoln

Published in: Formal Methods Syst. Des. (2016)

Keyphrases

search algorithm
search space
search strategy
search methods
real world
search strategies
search efficiency
search procedure
keyword search
user queries
neural network
real life
genetic algorithm
relational databases
face recognition
case study
piecewise linear
semantic search
search mechanism