Abstract: We present new algebraic approaches for several wellknown combinatorial problems, including non-bipartite matching, matroid intersection, and some of their generalizations. Our work yields ...

Abstract: Algebraic algorithms are powerful methods in solving the selective harmonic elimination (SHE) problem, which can find all exact solutions without the requirements of choosing initial values.

Interprocedural analysis is at the heart of numerous applications in programming languages, such as alias analysis, constant propagation, and so on. Recursive state machines (RSMs) are standard models ...

Interprocedural analysis is at the heart of numerous applications in programming languages, such as alias analysis, constant propagation, etc. Recursive state machines (RSMs) are standard models for ...

Our tool TalisMan 1.0 is able to parse and verify AIGs. For further information we refer to the paper Clemens Hofstadler, Daniela Kaufmann. Guess and Prove: A Hybrid Approach to Linear Polynomial ...

We present a literature review on the algebraic path problem and describe different sequential and systolic algorithms for solving this problem. A systolic algorithm is a parallel algorithm where ...

We present a literature review on the algebraic path problem and describe different sequential and systolic algorithms for solving this problem. A systolic algorithm is a parallel algorithm where ...

This is a Mathematica prototype for solving some pseudo-elliptic integrals in terms of elementary functions. Relative to the algebraic case of the Risch-Trager-Bronstein algorithm, its very simple, ...

ABSTRACT: The paper is intended to provide algorithmic and computational support for solving the frequently encountered linear-quadratic regulator (LQR) problems based on receding-horizon control ...

Radioactive decay processes, such as alpha decay, produce decay chains where the mass numbers of nuclides decrease as larger nuclides expel energetic particles to form smaller nuclides. Under these ...