Lecture tomorrow, Nov 5, cancelled_澳门葡京手机版app下载

michakt
2025-11-04T21:10:49.341Z
type:structured-message
www.uio.no

I unfortunately have to cancel the lecture tomorrow. I'm sorry for the late the announcement.

The material (SAT solvers) will be added to the lecture in two weeks. There is enough time to have both the introduction to exam questions + Q/A and the introduction to SAT solvers.