On Solving Boolean Multilevel Optimization Problems