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 ...

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 ...