PRuning Through Satisfaction.

Marijn J. H. Heule Benjamin Kiesl Martina Seidl Armin Biere

Published in: Haifa Verification Conference (2017)

Keyphrases

user satisfaction
pruning method
search space
similarity measure
service quality
customer satisfaction
pruning algorithms
tree pruning
user information satisfaction
databases
video sequences
relational databases
pruning algorithm
effective pruning