research_visit
an archive of posts with this tag
| Oct 30, 2023 | University of Freiburg |
|---|---|
| Oct 05, 2023 | Workshop “SAT Encodings and Beyond” |
| May 10, 2023 | Extended Reunion: Satisfiability |
| Oct 05, 2022 | Workshop “Theory and Practice of SAT and Combinatorial Solving” |
| Oct 05, 2022 | Vrije Universiteit Brussel |
| Jun 05, 2019 | University of Toronto |
| Dec 23, 2018 | University of Melbourne |