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 x_i vorkommt, wobei x_i 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 x_i vorkommt, wobei x_i das l'-te vorkommende Literal ist, usw.