SAT solver párhuzamosítása

Zombori, Bálint (2023) SAT solver párhuzamosítása. Szakdolgozat thesis, Informatikai Kar.

[thumbnail of DZ991I_2023.pdf] Kézirat
DZ991I_2023.pdf
Restricted to Registered users only

Download (2MB)
Tétel típus: Szakdolgozat (Szakdolgozat)
Feltöltő: Admin System
Elhelyezés dátuma: 13 Nov 2023 12:47
Utolsó változtatás: 13 Nov 2023 12:47
URI: http://szakdolgozat.uni-eszterhazy.hu/id/eprint/33921

Actions (login required)

Tétel szekesztése
Tétel szekesztése