Computational Learning Theory and BeyondKaren Seidel (PhD Student)

This video belongs to the openHPI course Computational Learning Theory and Beyond. Do you want to see more?

Excursus 10: Boolean Satisfiability (SAT)

Time effort: approx. 12 minutes