This folder contains the registrations of the classes of the PhD course
"Introduction to SAT & SMT, 2022" tought by prof. Roberto Sebastiani
at DISI, University of Trento.

A few remarks are in order.

* Each file name follows the following naming convention, so that they
  appear in chronological order:
  <CLASS DATE>-CL<CLASS NUMBER>-<INDEX>-CH<SLIDE CHAPTER>-<TOPIC>.mp4
  where;
  <CLASS DATE>: YYYY.MM.DD date when the class was taken
  <CLASS NUMBER>: index of the class
  <INDEX>: progressive index of the recording within the same class
  <SLIDE CHAPTER>: chapter of slides used in this class
  <TOPIC>: the topic of the recording


---------------------------------------------------------------------------
These videos are  only the sake of personal study of the students of the
"Introduction to SAT & SMT, 2022" PhD course.
Any other use, including publishing them on some other web site, must
be explicitly authorized by Roberto Sebastiani.
---------------------------------------------------------------------------