SAtRes    News    Amazon Research Award for Resource-Efficient SAT in HPC & Clouds

Amazon Research Award for Resource-Efficient SAT in HPC & Clouds

May 28, 2026

Dominik Schreiber has received an Amazon Research Award (Fall 2025 call) for his Automated Reasoning proposal “Resource-Efficient Flexible SAT Solving in HPC and Cloud Environments”. This award entails a gift of cash funding (80k USD) and AWS credits (40k) for our research.

Our proposed project aims to advance automated reasoning in distributed environments such as Clouds and High‐Performance Computing by significantly reducing the startup / provisioning overheads, response times, and resource spending of distributed SAT solving. Specifically, we intend to enhance flexible scheduling protocols for scalable incremental SAT solving by effective progress saving measures. This may involve writing the state of SAT solver threads to disk to resume or migrate them later, as well as caching important shared conflict clauses and using them to warm‐start late joining solver threads in challenging computations. We also aim to reconcile these advances with the scalable checking of proofs of unsatisfiability.

In their announcement of awardees, Amazon lists a total of “68 award recipients who represent 49 universities in 11 countries” for this iteration of the awards. The recipients are selected based on the submission of research proposals. The list of awardees also includes our cooperation partner Katalin Fazekas with her proposal “PASSAT: Improved Passing of Assertion Stacks to SAT in Incremental SMT Solvers”.