Tseitin remanié pour des expressions d'arités >= 2. permet de traiter des expressions beaucoup plus grosses rapidement