A Practical and Complete Approach to Predicate Refinement.

Ranjit Jhala Kenneth L. McMillan

Published in: TACAS (2006)

Keyphrases

real world
practical application
information retrieval
social networks
information systems
website
multiresolution
practical problems
genetic algorithm
clustering algorithm
data structure
special case