SharpSMT first fuses DPLL(T) polytope enumeration with new factorization, variable-elimination and caching pre-processing, ...
A Matlab implementation of Loopy Belief Propagation for stereo matching. It includes the "Sum-Product", "Max-Product" and "Min-Sum" versions of the algorithm and uses the "Synchronous" message update ...
Abstract: Truck-drone combined logistics has received increasing attention, and the multi-drops flying sidekick traveling salesman problem (mFSTSP) is one of the classic models. For the mFSTSP, we ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results