News

August 20, 2025

Our latest, simplified version of MallobSat was the best performing parallel solver in the International SAT Competition 2025.
Read more

August 14, 2025

Our publication “Streamlining Distributed SAT Solver Design” has been recognized with the SAT conference’s Best Paper Award.
Read more

July 31, 2025

Today’s major release of Mallob (2.0) offers an MIT license and features the latest & greatest in large-scale (incremental) SAT solving and proof technology.
Read more

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