Michael Dörr
Michael Dörr
Affiliation: Karlsruhe Institute of Technology (KIT)
Pages in this Program
A Natively Parallel Proof Framework for Clause-Sharing SAT Solving
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑