Aktivitaet2017
Aus International Center for Computational Logic
Mitglied des Programmkomitees der 17. internationalen SAT Konferenz
- Norbert Manthey
- Mitglied des Programmkomitees der 17. internationalen SAT KonferenzMember of the program committee of the 17th International Conference on Theory and Applications of Satisfiability Testing (★)
- 2014 – 2014
