Event title | 26rd International Conference on Theory and Applications of Satisfiability Testing, SAT 2023 |
---|---|
Location | Alghero, ItalyShow on map |
Period | 2023 Jul 4 → 2023 Jul 8 |
SAT competition 2023: Special Prize
- Oertel, Andy (Recipient)
Prize: Prize (including medals and awards)