![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[VID]](/icons/movie.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 00README | 2022-01-27 11:01 | 1.0K | |
| 2022.01.17-CL1-1-CH1-BooleanLogic.mp4 | 2022-01-17 11:26 | 254M | |
| 2022.01.18-CL2-1-CH1-BasicSAT.mp4 | 2022-01-18 15:29 | 589M | |
| 2022.01.19-CL3-1-CH1-OBDD-CDCL.mp4 | 2022-01-19 14:11 | 580M | |
| 2022.01.20-CL4-1-CH1-CDCLeIncrSAT.mp4 | 2022-01-20 14:31 | 650M | |
| 2022.01.21-CL5-1-CH1-SATFunctionalities.mp4 | 2022-01-21 13:33 | 521M | |
| 2022.01.24-CL6-1-CH2-SMTintro.mp4 | 2022-01-24 13:47 | 460M | |
| 2022.01.25-CL7-1-CH2-SMTsolving.mp4 | 2022-01-26 08:58 | 572M | |
| 2022.01.26-CL8-1-CH2-Tsolvers.mp4 | 2022-01-27 08:55 | 572M | |
| 2022.01.27-CL9-1-CH2-TheoryCombination.mp4 | 2022-01-27 19:23 | 520M | |
| 2022.01.28-CL10-1-Ch2-SMTfunctionalities.mp4 | 2022-01-28 15:55 | 573M | |