On Validating Boolean Optimizers | Publicación