SharpSMT first fuses DPLL(T) polytope enumeration with new factorization, variable-elimination and caching pre-processing, ...
$$ \begin{array}{ll} \underset{x \in \mathbb{R}^n}{\min} \quad & \langle c, x \rangle \\ \text{s.t.} \quad & L \leq A x \leq U, \\ & l \leq x \leq u . \end{array ...
Abstract: To optimize the solving efficiency of multi-objective path planning problems, this paper proposes an improved solution based on Whale Optimization Algorithm (IDWOA). First, a greedy strategy ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback