Online lecture on SAT solvers

Dear all,

The last lecture of the course on SAT solvers will be online. Please use the following link:

https://uio.zoom.us/j/65436175314?pwd=Y1grY2JmTGd0UForaldkc2xiS2tiUT09

Meeting ID: 654 3617 5314
Passcode: 041009