branch-and-bound

Virtual Pairwise Consistency in Cost Function Networks
dual encoding non-binary cost function network soft local consistency branch-and-bound graphical model discrete optimization