On Constrained Boolean Pareto Optimization