Index of /~rseba/DIDATTICA/SAT_SMT2020/VIDEO_CLASSES

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]00README2020-05-11 12:06 633  
[VID]2020.05.11-CL1-CH1-SAT_Background.mp42020-05-11 11:59 267M 
[VID]2020.05.12-CL2-CH1-SAT-SATSolvingTechniques.mp42020-05-12 11:55 292M 
[VID]2020.05.13-CL3-CH1-SAT-CDCL.mp42020-05-15 17:33 380M 
[VID]2020.05.14-CL4-CH1-SAT-ImprovementsTractablePhasetransition.mp42020-05-14 11:22 247M 
[VID]2020.05.15-CL5-CH1-SAT-functionalities.mp42020-05-15 16:44 260M 
[VID]2020.05.18-CL6-SMT-IntroMotivations.mp42020-05-18 11:35 223M 
[VID]2020.05.19-CL7-SMTsolving.mp42020-05-19 11:39 218M 
[VID]2020.05.20-CL8-SMT-Tsolvers.mp42020-05-20 11:28 205M 
[VID]2020.05.21-CL9-SMT-TheoryCombination.mp42020-05-21 11:46 322M 
[VID]2020.05.22-CL10-SMT-Functionalities.mp42020-05-22 15:48 308M 

Apache/2.4.6 (CentOS) OpenSSL/1.0.2k-fips Server at disi.unitn.it Port 80