Minimális UNSAT problémák generálása összefüggő SS-típusú gráfok alapján

Rajna, Franciska (2021) Minimális UNSAT problémák generálása összefüggő SS-típusú gráfok alapján. Szakdolgozat thesis, Informatikai Kar.

Kézirat
DK900Q_2021.pdf
Restricted to Registered users only
Download (55kB)

Tétel típus:	Szakdolgozat (Szakdolgozat)
Feltöltő:	Users 1 nincs találat.
Elhelyezés dátuma:	10 Márc 2023 12:07
Utolsó változtatás:	10 Márc 2023 12:07
URI:	http://szakdolgozat.uni-eszterhazy.hu/id/eprint/30409

Actions (login required)