Tóth, Dániel Béla (2014) A SAT-probléma polinomiális idejű megoldási lehetőségei. BA/Bsc, Szegedi Tudományegyetem.