Online lecture on SAT solvers_澳门葡京手机版app下载

michakt
2024-11-06T12:37:55.108Z
type:structured-message
www.uio.no

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