Non-Interlaced SAT is in P.

Une approche nouvelle de la célèbre conjecture sur P et NP.