Constraint-set satisfiability for overloading.

Carlos Camarão Lucília Figueiredo Cristiano D. Vasconcellos

Published in: PPDP (2004)

Keyphrases

probability distribution
small number
information retrieval
computational complexity
input data
np complete
decision procedures