SMS versenden: Využitie genetických a hybridných genetických algoritmov v súvislosti s NP-úplnými problémami na príklade riešenia problému SAT