Optimizing with minimum satisfiability.

Chu Min Li Zhu Zhu Felip Manyà Laurent Simon

Published in: Artif. Intell. (2012)

Keyphrases

propositional logic
satisfiability problem
computational complexity
social networks
information systems
multiscale
np complete
real world
information retrieval
genetic algorithm
artificial intelligence
search algorithm
expert systems
special case
global minimum
computational properties