Citizen 2.0
just do it
Meine Wochenendbeschäftigung, unter anderem.



oder

Die erste Kante aus dem Variablenknoten i ist die l-te eingehende Kante in die j-te Klauselkomponente, wenn die j-te Klausel die erste ist, in der xi vorkommt, wobei xi das l-te vorkommende Literal ist. Die l-te ausgehende Kante der j-ten Klauselkomponente ist dann die l'-te eingehende Kante in die j'-te Klauselkomponente, wenn die j'-te Klausel die zweite ist, in der xi vorkommt, wobei xi das l'-te vorkommende Literal ist, usw.

Kommentieren