Superstructure optimization for process synthesis is a challenging endeavour typically leading to large scale MINLP formulations. By the combination of phenomena-based building blocks, accurate thermodynamics, and structural screening we obtain a new framework for optimal process synthesis, which overcomes prior limitations regarding solution by deterministic MINLP solvers in combination with accurate thermodynamics. This is facilitated by MOSAICmodeling’s generic formulation of models in MathML / XML and subsequent decomposition and code export to GAMS and C++. A branch & bound algorithm is implemented to solve the overall MINLP problem, wherein the structural screening penalizes instances, which are deemed nonsensical and should not be further pursued. The general capabilities of this approach are shown for the distillation-based separation of a ternary system.