SharpSMT first fuses DPLL(T) polytope enumeration with new factorization, variable-elimination and caching pre-processing, ...
This repository contains comprehensive implementations of algorithms from the classic textbook "Fundamentals of Computer Algorithms" (Second Edition) by Ellis Horowitz, Sartaj Sahni, and Sanguthevar ...
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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results