Login / Signup
A program transformation for faster goal-directed search.
Akash Lal
Shaz Qadeer
Published in:
FMCAD (2014)
Keyphrases
</>
directed search
search algorithm
genetic algorithm
three dimensional
computer programs
databases
machine learning
web pages
face recognition
wide range
evolutionary algorithm
static analysis
memory efficient
program execution