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