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