Discrete Optimization via Branch and Bound with Soft Arc Consistency
William Lam March 20, 2013 (with slides from the IJCAI-09 tutorial on Combinatorial Optimization for Graphical Models) Discrete Optimization via Branch.