Index of /~rseba/DIDATTICA/arfv2026/VIDEO-RECORDINGS

	Name	Last modified	Size	Description
	Parent Directory		-
	00README	2026-02-24 12:03	873
	2026.02.24-CL01-1-CH00-ARFV-IntroToTheCourse.mp4	2026-02-24 11:56	120M
	2026.02.24-CL01-2-CH01-AR-BooleanLogic.mp4	2026-02-24 11:56	282M
	2026.02.25-CL02-1-CH01-AR-BasicSAT.mp4	2026-02-26 11:46	265M
	2026.02.26-CL03-1-CH01-AR-OBDDs.mp4	2026-02-26 11:44	237M
	2026.03.03-CL04-1-CH01-AR-CDCL-SAT.mp4	2026-03-03 12:11	383M
	2026.03.05-CL05-1-CH01-AR-SATimprovements.mp4	2026-03-05 14:04	268M
	2026.03.10-CL06-1-CH01-AR-SATfunctionalities.mp4	2026-03-12 12:04	64M
	2026.03.10-CL06-2-CH02-AR-BasicsSMT.mp4	2026-03-12 12:05	296M
	2026.03.12-CL07-1-CH02-AR-EfficientSMTSolving.mp4	2026-03-12 12:06	306M
	2026.03.17-CL08-1-CH02-AR-TheorySolvers.mp4	2026-03-17 11:55	403M
	2026.03.19-CL09-1-CH02-AR-TheoryCombination.mp4	2026-03-19 11:50	300M
	2026.03.24-CL10-1-CH02-AR-SMTfunctionalities.mp4	2026-03-24 15:06	390M
	2026.03.26-CL11-1-CH02-AR-SMTfunctionalities.mp4	2026-03-26 13:37	103M
	2026.03.26-CL11-2-CH03-AR-KripkeModels.mp4	2026-03-26 13:38	150M
	2026.03.31-CL12-1-CH03-AR-LTL.mp4	2026-03-31 14:56	303M
	2026.04.02-CL13-1-CH03-AR-CTL.mp4	2026-04-02 14:51	240M
	2026.04.07-CL14-1-CH04-AR-BuchiAutomata.mp4	2026-04-07 11:53	316M
	2026.04.09-CL15-1-CH04-AR-KMandLTLtoBuchi.mp4	2026-04-09 11:58	314M
	2026.04.14-CL16-1-CH04-AR-LTLtoBuchiExamples.mp4	2026-04-14 14:26	119M
	2026.04.14-CL16-2-CH05-FV-CTLMCbasics.mp4	2026-04-14 14:33	209M
	2026.04.16-CL17-1-CH05-FV-InvariantCheckingAndFairness.mp4	2026-04-16 11:41	245M
	2026.04.21-CL18-1-CH05-FV-FairCTLModelChecking.mp4	2026-04-21 15:57	144M
	2026.04.21-CL18-2-CH06-FV-SymbolicCTLModelChecking.mp4	2026-04-21 15:58	159M
	2026.04.23-CL19-1-CH06-FV-SymbolicLTLModelChecking.mp4	2026-04-23 14:14	272M