Login / Signup
Determining lower and upper bounds on probabilities of atomic propositions in sets of logical formulas represented by digraphs.
K. A. Andersen
John N. Hooker
Published in:
Ann. Oper. Res. (1996)
Keyphrases
</>
lower and upper bounds
lower bound
upper bound
logical formulas
upper and lower bounds
lagrangian relaxation
equivalence classes
predicate logic
valid inequalities
probability distribution
knowledge base
directed graph
partial order
lagrangian dual
integer programming
belief networks
multi dimensional