Computational Complexity Of Sat, Xsat And Nae-sat door Tatjana Schmidt