Binary Programming Techniques for Linear Metamaterial Design Optimization | AMiner