In branch and bound (B&B), how is the upper bound (UB) calculated?
It's the cost of the best solution found so far. If no solution has been found, the upper bound is infinite.
Consistency for CSP
SLS for CSP
Belief and Decision Networks
STRIPS to CSP