On Validating Boolean Optimizers