On Solving Boolean Optimization with Satisfiability-Based Algorithms