Reconciling Enumerative and Symbolic Search in Syntax-Guided Synthesis.

Kangjing Huang Xiaokang Qiu Qi Tian Yanjun Wang

Published in: CoRR (2018)

Keyphrases

search algorithm
high level
search space
search queries
search strategies
integer programming
search tools
search efficiency
data mining
artificial intelligence
database systems
digital libraries
constraint satisfaction problems
search mechanism