Author

Martin Kreuzer

h-index 4 View on Semantic Scholar

We have 2 of 25 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Sep 2026

On the De Rham Cohomology of Zero-Dimensional Schemes

The (naive) de Rham cohomology of a zero-dimensional scheme is the homology of the K\"ahler differential algebra of its coordinate ring, viewed as a complex. Since it is well-known to vanish in higher degrees if the ring is quasi-homogeneous, we concentrate on the affine case. For a general affine $K$-algebra $R=P/I$,...

Martin Kreuzer, L. N. Long · 0 citations

Open access Aug 2026

Conflict-Driven SAT Solving using XOR-OR-AND Normal Forms

Solving Boolean polynomial systems, or equivalently, SAT-solving, based on the XNF and the XLIN proof system outperforms classical methods not only theoretically, but based on the new conflict-driven XNF clause learning methods developed here, it is possible to implement an XNF solver with good practical efficiency.

Julian Danner, Martin Kreuzer · Journal of Artificial Intell... · 0 citations