A probabilistic study of generalized solution concepts in satisfiability testing and constraint programming.

Peng Zhang Yong Gao

Published in: Theor. Comput. Sci. (2017)

Keyphrases

constraint programming
constraint satisfaction
constraint propagation
constraint satisfaction problems
probabilistic model
combinatorial problems
satisfiability testing
bayesian networks
knowledge base
cooperative
upper bound
game theory