Video From 18w5208: Theory and Practice of Satisfiability Solving
The requested video does not exist.
If you think that it should, and it is not listed below, please contact webmaster@birs.ca.
If you think that it should, and it is not listed below, please contact webmaster@birs.ca.