Várterész, MagdaCzuczor, Gergő2017-04-272017-04-272017http://hdl.handle.net/2437/238631A dolgozat a SAT problémát mutatja be, annak történeti hátterét, illetve az azt megoldó algoritmusokat és a probléma kapcsolatát az egyenletrendszerekkel.41husat, bonyolultság, egyenletrendszerekDEENK Témalista::Informatika