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

	Name	Last modified	Size	Description
	Parent Directory		-
	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
	00README	2026-02-24 12:03	873
	2026.02.26-CL03-1-CH01-AR-OBDDs.mp4	2026-02-26 11:44	237M
	2026.02.25-CL02-1-CH01-AR-BasicSAT.mp4	2026-02-26 11:46	265M
	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