| Event title | 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022) |
|---|---|
| Location | , Haifa, IsraelShow on map |
| Period | 2022 Aug 2 → 2022 Aug 5 |
Best paper award at the 25th International Conference on Theory and Applications of Satisfiability Testing
- Gocht, Stephan (Recipient), Martins, Ruben (Recipient), Nordström, Jakob (Recipient) & Oertel, Andy (Recipient)
Prize: Prize (including medals and awards)