Scaling abstraction refinement via pruning.

Percy Liang Mayur Naik

Published in: PLDI (2011)

Keyphrases

search space
pruning method
high level
pruning algorithms
pruning algorithm
refinement process
state abstraction
tree pruning
databases
machine learning
decision making
heuristic search
scaling factors
pruning methods