Index of /~rseba/DIDATTICA/arfv2025/VIDEO_CLASSES

	Name	Last modified	Size	Description
	Parent Directory		-
	00README	2025-02-21 09:23	939
	2015.02.26-CL02-1-AR-BasicBooleanReasoing.mp4	2025-02-26 14:29	315M
	2025.02.25-CL01-1-CH00-ARFV-IntroToTheCourse.mp4	2025-02-25 12:14	152M
	2025.02.25-CL01-2-CH01-AR-BooleanLogic.mp4	2025-02-25 12:14	318M
	2025.02.26-CL02-1-CH01-AR-BasicBooleanReasoing.mp4	2025-02-26 14:29	315M
	2025.02.27-CL03-1-CH01-AR-OBDDs.mp4	2025-02-28 08:55	301M
	2025.03.04-CL04-1-CH01-AR-CDCLSatSolvers.mp4	2025-03-04 12:25	453M
	2025.03.06-CL05-1-CH01-AR-IncrementalSAT.mp4	2025-03-06 14:36	350M
	2025.03.11-CL06-1-CH01-AR-OtherSatFunctionalities.mp4	2025-03-11 12:00	240M
	2025.03.11-CL06-2-CH02-AR-FOLandTheories.mp4	2025-03-11 12:00	200M
	2025.03.13-Cl07-1-CH02-AR-BasicsSMT.mp4	2025-03-13 13:23	379M
	2025.03.18-CL08-1-CH02-AR-TheorySolvers.mp4	2025-03-18 12:08	483M
	2025.03.20-CL09-1-CH02-AR-TheoryCombination.mp4	2025-03-20 11:59	349M
	2025.03.25-CL10-1-CH02-AR-SMTFunctionalities.mp4	2025-03-25 12:48	484M
	2025.03.27-CL11-1-CH03-AR-BasicsTemporalReasoning.mp4	2025-04-01 11:46	288M
	2025.04.01-CL12-1-CH03-AR-LTLandCTL.mp4	2025-04-01 11:46	391M
	2025.04.03-CL13-1-CH03-AR-LTLvsCTL.mp4	2025-04-03 11:42	270M
	2025.04.08-CL14-1-CH04-AR-BuchiAutomata.mp4	2025-04-08 13:58	406M
	2025.04.10-CL15-1-CH04-AR-LTLtoBuchi.mp4	2025-04-10 15:23	345M
	2025.04.16-CL16-1-CH05-FV-CTLModelChecking.mp4	2025-04-16 14:24	247M
	2025.04.17-CL17-1-CH05-FV-InvariantCheckingAndFair.mp4	2025-04-17 16:03	297M