Pandey, R. K. Reformulation Algorithm a Convex/Concave Envelops for Logic Based Optimization. RRST 2011, 2.