Szlavikovics, Máté (2023) Ítéletkalkulusbeli formulák kielégíthetőségének eldöntése. BA/Bsc, Szegedi Tudományegyetem.
![[thumbnail of 2022_szlavikovics_mate.pdf]](https://diploma.bibl.u-szeged.hu/style/images/fileicons/application_pdf.png) |
PDF
2022_szlavikovics_mate.pdf Hozzáférés joga: SZTE designated computers only Download (693kB) |
English title
The satisfiability problem of Boolean formulas
Institution
Szegedi Tudományegyetem
Faculty
Faculty of Science and Informatics
Department
Számítástudomány Alapjai Tanszék
Discipline
Institute
Informatikai Intézet
Specialization
Supervisor(s)
Supervisor
Supervisor scientific name label
Email
EHA
Gazdag, Zsolt Zoltán
egyetemi docens
UNSPECIFIED
UNSPECIFIED
| Item Type: | Thesis (BA/Bsc) |
|---|---|
| Subjects: | 01. Natural sciences |
| Depositing User: | TTIK szerkesztő |
| Date Deposited: | 2023. Aug. 29. 11:11 |
| Last Modified: | 2023. Oct. 31. 13:22 |
| URI: | https://diploma.bibl.u-szeged.hu/id/eprint/136464 |
Actions (login required)
 |
View Item |
