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 ...
Abstract: This paper studies the distributed model predictive control (DMPC) problem for distributed discrete-time linear systems with both local and global constraints over directed communication ...
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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results