Recent Developments and Challenges in Optimization-Based Process Synthesis | Synapse