TY  - RPRT
TI  - On Validating Boolean Optimizers
AU  - Antonio Morgado
AU  - Joao Marques-Silva
PY  - 2011
UR  - https://arxiv.org/abs/1109.2752
ID  - 1109.2752
ER  -