Description

Programming assignments on satisfiability checking and satisfiability modulo theories
Period1 Aug 2017
Event titleSC2 Summer School
Event typeCourse
LocationSaarbrücken, Germany
Degree of RecognitionInternational

Keywords

  • satisfiability checking, satisfiability modulo theories