Automatic Optimize-time Validation for Binary OptimizersMotohiro KawahitoReid Copelandet al.2021Journal of Information Processing