Abstract: During SoC design designers can meet many problems. One of it is Concurrent real-time optimization. It is a very important problem in operation research. The problem appears when exist many ...

In this study, we propose an exact method for optimizing a linear function over the efficient set of a multi-objective transportation problem (MOTP). This type of problem arises when a decision maker ...

Abstract: The Boolean formula satisfiability problem (SAT) plays a fundamental role in many practical applications, but is computationally challenging due to its NP-hard nature. Leveraging cloud ...