We report on the performance of an enhanced version of the “Davis-Putnam” (DP) proof procedure for propositional satisfiability (SAT) on large instances derived from realworld...
Forty-eight years ago Maron and Kuhns published their paper, ``On Relevance, Probabilistic Indexing and Information Retrieval" (1960). This was the first paper to present a p...
The PAKDD Competition 2006 involved the problem of classifying mobile telecom network customers into 2G and 3G, with the ultimate aim of identifying existing 2G network customers w...