News

June 27, 2025

Shaowei Cai (CAS, Beijing, China) and Dominik Schreiber (SAtRes) will present a tutorial on parallel constraint solving at the 31st Conference on Principles and Practice of Constraint Programming in Glasgow, UK.
Read more

May 30, 2025

Works of ours have been accepted for publication at Journal of Automated Reasoning (JAR), Symposium on Combinatorial Search (SoCS) 2025, and Theory & Applications of Satisfiability Testing (SAT) 2025.
Read more

March 14, 2025

This Friday, Prof. Armin Biere (University of Freiburg), leading figure in propositional satisfiability and formal verification, paid a visit to our group.
Read more

March 1, 2025

We are delighted to welcome Niccolò Rigi-Luperti as the SAtRes group’s first doctoral researcher.
Read more

October 29, 2024

The HPC project “Scalable Discrete Algorithms for Big Data Applications” has received a Golden Spike Award of the Höchstleistungsrechenzentrum Stuttgart (HLRS) Results and Review Workshop 2024 in Karlsruhe, Germany.
Read more

October 2, 2024

Update January 2025: The position has been filled. The SAtRes young investigator group at Karlsruhe Institute of Technology (KIT, Germany) is looking for a research assistant (a.k.a. doctoral researcher, PhD student), beginning as soon as possible.
Read more

October 1, 2024

Welcome to the website of the Scalable Automated Reasoning (SAtRes) group. October 1st, 2024 marks the kick-off of this KiKIT-funded young investigator group led by Dominik Schreiber that aims to push the frontiers of automated reasoning in parallel and distributed systems.
Read more

September 27, 2024

Dominik Schreiber has received two high-ranking awards for his doctoral research on scalable SAT Solving: the tri-national dissertation award jointly conferred by the German Informatics Society (GI), the Austrian Computer Society (OCG), and the Swiss Informatics Society (SI); and the 2022-2023 Fahiem Bacchus Award conferred by the SAT Association.
Read more