Mesterséges Intelligencia algoritmusok: A SAT probléma
| dc.contributor.advisor | Nagy, Benedek | |
| dc.contributor.author | Debreceni, Béla | |
| dc.contributor.department | DE--TEK--Informatikai Kar | en |
| dc.date.accessioned | 2009-01-12T09:48:30Z | |
| dc.date.available | 2009-01-12T09:48:30Z | |
| dc.date.created | 2009-01-12 | |
| dc.date.issued | 2009-01-12T09:48:30Z | |
| dc.description.abstract | Mesterséges algoritmusok bemutatatása a SAT problémára. A SAT matematikai háttere. DPLL, WalkSAT, és egy genetikus algoritmus kidolgozása. | en |
| dc.description.degree | Ba | en |
| dc.format.extent | 39 | en |
| dc.identifier.uri | http://hdl.handle.net/2437/78060 | |
| dc.language.iso | hu | en |
| dc.rights.access | no_restriction | |
| dc.subject | algoritmusok | en |
| dc.subject | mesterséges intelligencia | en |
| dc.subject | kielégíthetőségi vizsgálat | en |
| dc.subject | Boole-hálózat | en |
| dc.subject | DPLL | en |
| dc.subject | WalkSAT | en |
| dc.subject | Genetikus algoritmus | en |
| dc.subject.dspace | DEENK Témalista::Informatika::Számítógéptudomány | en |
| dc.title | Mesterséges Intelligencia algoritmusok: A SAT probléma | en |
Fájlok
Eredeti köteg (ORIGINAL bundle)
1 - 8 (Összesen 8)
Betöltés ...
- Név:
- MI_algoritmusok-A_SAT_problema.pdf
- Méret:
- 1.44 MB
- Formátum:
- Adobe Portable Document Format
- Leírás:
- A szakdolgozat magyarul.
Nincs kép
- Név:
- GA_v2.3.2.R
- Méret:
- 11.23 KB
- Formátum:
- Unknown data format
- Leírás:
- A genetikus algoritmus implementacioja
Nincs kép
- Név:
- SAT_1.0.c
- Méret:
- 13.76 KB
- Formátum:
- Unknown data format
- Leírás:
- A DPLL es SAT algoritmusok implementacioja
Nincs kép
- Név:
- DIMAC.h
- Méret:
- 2.18 KB
- Formátum:
- Unknown data format
- Leírás:
- Segedfajl a c programhoz.
Nincs kép
- Név:
- DPLL.h
- Méret:
- 12.13 KB
- Formátum:
- Unknown data format
- Leírás:
- Segedfajl a c programhoz
Nincs kép
- Név:
- WalkSAT.h
- Méret:
- 488 B
- Formátum:
- Unknown data format
- Leírás:
- Segedfajl a c programhoz
Betöltés ...
- Név:
- User_Guide.pdf
- Méret:
- 397.2 KB
- Formátum:
- Adobe Portable Document Format
- Leírás:
- Felhasznaloi utmutato a programokhoz
Nincs kép
- Név:
- SAT_1.0.exe
- Méret:
- 43.58 KB
- Formátum:
- Unknown data format
- Leírás:
- DPLL es WalkSAT implementacio
Engedélyek köteg
1 - 1 (Összesen 1)
Nincs kép
- Név:
- license.txt
- Méret:
- 2.04 KB
- Formátum:
- Item-specific license agreed upon to submission
- Leírás: