Selection and Ranking of Propositional Formulas for Large-Scale Service Directories.

Ion Constantinescu Walter Binder Boi Faltings

Published in: AAAI (2005)

Keyphrases

propositional formulas
propositional logic
web search
management system
web pages
database
genetic algorithm
database systems
special case
propositional satisfiability