Abstract
Computer-aided Molecular and Process Design (CAMPD) is an equation-oriented multi-scale decision making framework for designing both materials (molecules) and processes for separation, reaction, and reactive separation whenever material choice significantly impacts process performance. The inherent nonlinearity and nonconvexity in CAMPD optimization models, introduced through the property and process models, pose challenges to state-of-the-art solvers. Recently, quantum computing (QC) has shown promise for solving complex optimization problems, especially those involving discrete decisions. This motivates us to explore the potential usage of quantum optimization techniques for solving CAMPD problems. We have developed a technique for directly solving a class of mixed integer nonlinear programs using QC. Our approach represents both continuous and integer design decisions by a set of binary variables through encoding schemes. This transformation allows to reformulate certain types of CAMPD problems into Quadratic Unconstrained Binary Optimization (QUBO) models that can be directly solved using quantum annealing techniques. We illustrate this technique for the selection of optimal ionic liquids (IL) and the configuration of a reactor-separator process network. We also discuss several challenges that are associated with quantum optimization when solving large scale CAMPD problems.