Login / Signup
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