Klicken Sie auf 'Lecture 7: Counting 2-Sat solutions --- Fürer & Kasiviswanathan article', um die Ressource zu öffnen.