Towards Solving Many-Valued MaxSAT.

Josep Argelich Xavier Domingo Chu Min Li Felip Manyà Jordi Planes

Published in: ISMVL (2006)

Keyphrases

combinatorial optimization
evolutionary algorithm
upper bound
boolean optimization
databases
solving problems
conceptual clustering
bayesian networks
graphical models
constraint satisfaction
modal logic
exact solution