SharpSMT first fuses DPLL(T) polytope enumeration with new factorization, variable-elimination and caching pre-processing, ...
Abstract: This paper generalizes the iterative Fourier transform (IFT) algorithm from rectangular grids to 2D non-orthogonal triangular meshes by integrating the affine projection principle with fast ...
Forget about the generic recommendations on your home screen because Netflix is hiding its best romantic content behind a digital lock. With Valentine's Day right around the corner, most people are ...
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