A Mathematical Programming Approach for Recognizing Binet Matrices | AMiner