Martin Kreuzer

activity

19972026

most citedSAT Solving Using XOR-OR-AND Normal Forms

4 citations · 10 across the 14 of their papers we have counts for

collaborators

Showing 2024Show all

3 papers · 1 filter

math.AC2024

Efficiently Checking Separating Indeterminates

Bernhard Andraschko, Martin Kreuzer, Le Ngoc Long

In this paper we continue the development of a new technique for computing elimination ideals by substitution which has been called $Z$ -separating re-embeddings. Given an ideal $I$ …

math.AC2024★ 1 cited

Computing the unit group of a commutative finite $Z$ -algebra

Martin Kreuzer, Florian Walsh

For a commutative finite $Z$ -algebra, i.e., for a commutative ring $R$ whose additive group is finitely generated, it is known that the group of units of $R$ is finitely g…

math.AC2024

Elimination by Substitution

Martin Kreuzer, Lorenzo Robbiano

Let $K$ be a field and $P = K [x_{1}, \dots, x_{n}]$ . The technique of elimination by substitution is based on discovering a coherently $Z = (z_{1}, \dots, z_{s})$ -separating tuple of polynomials $…

Efficiently Checking Separating Indeterminates

Computing the unit group of a commutative finite Z-algebra

Elimination by Substitution

Computing the unit group of a commutative finite $Z$ -algebra