Minimum Satisfiability and Its Applications.

Chu Min Li Zhu Zhu Felip Manyà Laurent Simon

Published in: IJCAI (2011)

Keyphrases

satisfiability problem
propositional logic
computational complexity
phase transition
minimum cost
satisfiability testing
neural network
information retrieval
e learning
special case
np hard
np complete
decision procedures