Modeling and Performance Evaluation of TSO-Preserving Binary Optimization | IEEE Conference Publication | IEEE Xplore