Deterministic global optimization of binary hybrid distillation/melt-crystallization processes based on relaxed MINLP formulations