Dominik Pascal Schreiber

I am a computer science researcher pursuing a PhD (Dr. rer. nat.) at the Algorithm Engineering group at the Institute of Theoretical Informatics @ Karlsruhe Institute of Technology. Together with my PhD advisor Peter Sanders, our research focuses on scalable distributed algorithms, high-performance SAT solving, and SAT-driven AI planning. I have contributed to top-tier venues such as IJCAI, ICAPS, JAIR, and SAT. The open-source solutions I develop in the scope of my research have won several awards at international competitive events; most notably, I am the author of the currently best performing large-scale SAT solving platform (scaling from dozens to thousands of cores).

Professional

Activities

Interests