Formulas for approximating pseudo-Boolean random variables.
Guoli DingRobert F. LaxJianhua ChenPeter P. ChenPublished in: Discret. Appl. Math. (2008)
Keyphrases
- random variables
- pseudo boolean
- integer linear programming
- pseudo boolean constraints
- combinatorial problems
- symmetry breaking
- propositional satisfiability
- probability distribution
- graphical models
- exact solution
- propositional formulas
- conditional independence
- bayesian networks
- joint distribution
- logic programming
- stochastic optimization problems
- conditional probabilities
- constraint programming
- independent and identically distributed
- probabilistic model
- propositional logic
- column generation
- automated reasoning
- constraint satisfaction problems
- joint probability distribution
- genetic algorithm
- lead time
- metaheuristic