C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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