Wie funktionieren SAT-Solver?

Zu diesem Talk wurde kein Video veröffentlicht.