The development of quantum processors for practical fluid flow problems is a promising yet distant goal. Recent advances in quantum linear solvers have highlighted their potential for classical fluid ...
SharpSMT first fuses DPLL(T) polytope enumeration with new factorization, variable-elimination and caching pre-processing, ...
This paper proposes an exact method to solve an integer indefinite quadratic bilevel problem with multiple objectives at the upper level, where the objective functions at both levels are a product of ...
Abstract: Recently, a series of evolutionary algorithms have been proposed to enhance the search efficiency when handling large-scale multiobjective optimization problems (LSMOPs). Among them, ...
You’re ready to leave the hospital, but you don’t feel able to care for yourself at home yet. This story also ran on The New York Times. It can be republished for free. Or, you’ve completed a couple ...
Abstract: The integrated scheduling problem of cranes and automated guided vehicles (AGVs) in automated container terminals is a crucial area of concern for ports. In the terminal with AGV-supports in ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results