Award Recipient Armin Biere University Of Freiburg Social website 2023 Amazon Research Award From Mavericks to Teamplayers: Fostering Solver Cooperation in Distributed SAT Solving Research topic Automated reasoning
