The design optimization of reactive distillation columns (RDC) is characterized by complex nonlinear constraints, nonlinear cost functions, and the presence of many local optima. The standard approach is to use MINLP solvers that work on a superstructure formulation where structural decisions are represented by discrete variables and lead to an exponential increase in the computational effort. The mathematical programming (MP) methods which solve the continuous sub-problems provide only one local optimum which depends strongly on the initialization. In this contribution a memetic algorithm (MA) is introduced and applied to the global optimization of four different formulations of a computational demanding real-world design problem. An evolution strategy addresses the global optimization of the design decisions, while continuous sub-problems are efficiently solved by a robust MP solver. The MA is compared to MINLP techniques. It is the only algorithm that finds the global solution in reasonable times for all model formulations. (C) 2011 Elsevier Ltd. All rights reserved.