Session 8B - Smoothed Complexity of Local Max-Cut and Binary Max-CSP