SAT 2013, 16th International Conference on Theory and Applications of Satisfiability Testing

  • Juho Hirvonen (Member of organizing committee)

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars

Period8 Jul 201312 Jul 2013
Event typeOther
Sponsor
LocationHelsinki, Finland
Degree of RecognitionInternational