Dominik

@[email protected]
13 Followers
33 Following
11 Posts
Postdoctoral researcher @KIT_Karlsruhe | #SATSolving, #HPC, #SymbolicAI | 🎸🎹🪕🎤👨‍🍳🎮
KIT pagehttps://ae.iti.kit.edu/schreiber.php
Homepagehttps://dominikschreiber.de
Githubhttps://github.com/domschrei
DominikSep 14, 2024

In this year's SAT Competition, Mallob @ 1600 threads proved its worth against two other distributed systems, scoring its 5th gold in a row. In the shared-memory track, one of my submissions is (to my knowledge) the first ever parallel submission that produces and checks proof information, which drastically increases confidence in the result. See: http://doi.org/10.4230/LIPIcs.SAT.2024.25 The associated overhead was so small that it also scored some medals!

Details: https://satcompetition.github.io/2024/downloads/satcomp24slides.pdf

Trusted Scalable SAT Solving with On-The-Fly LRAT Checking

DominikSep 9, 2024
I'm very honored to have received the inaugural Fahiem Bacchus Award at #SAT'24 in Pune (India) for my dissertation entitled Scalable #SATSolving and its Application. Many thanks to the award committee, including @arminbiere, for this amazing recognition! It really encourages me to continue this research, further pushing the scalability of #AutomatedReasoning in #HPC and #Cloud systems.
DominikDec 19, 2022
Without running any new experiments, here's the progress of sequential, parallel, and cloud #SATSolving from 2020 to 2022 based on #SATCompetition data. I used the intersection of the 2020 benchmarks and the 2022 anniversary benchmarks (→ 354 instances). Showing the 2020 winners and the 2022 anniversary winners. (higher = better; legend is sorted according to the curves' positioning)