News

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

The young investigator group on Scalable Automated Reasoning at the Department of Informatics at the Karlsruhe Institute of Technology (KIT, in 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