Over-Subscription Planning with Boolean Optimization: An Assessment of State-of-the-Art Solutions