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 types › Organisation and participation in conferences, workshops, courses, seminars

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