Index of /~rseba/DIDATTICA/SAT_SMT2020/VIDEO_CLASSES

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