Partial Satisfiability-Based Merging.

Pilar Pozos Parra Verónica Borja Macías

Published in: MICAI (2007)

Keyphrases

satisfiability problem
computational complexity
propositional logic
data mining
np complete
data sets
databases
learning algorithm
social networks
search algorithm
search space
phase transition
partial information
satisfiability testing