Skip to content
Log in
Sponsored Design Multi-Agent AI Systems Using MCP and A2A: Engineer your own Pyt Design Multi-Agent AI Systems Using MCP and A2A: Engineer your own Pyt

Author

Martin Kreuzer

h-index 4 View on Semantic Scholar

We have 1 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.

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 · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.