Author

Michael Dörr

View on Semantic Scholar

1 paper indexed here

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.

2026

A Natively Parallel Proof Framework for Clause-Sharing SAT Solving

PalRUP is introduced – an LRUP -based proof format and a bottleneck-free, decentralized parallel checking procedure that only uses the (parallel) file system and is composed of a set of small, sequential trusted components.

Ruben Götz, Michael Dörr, Dominik Schreiber · International Conference on... · 0 citations