Kereső
Bejelentkezés
Kapcsolat
A New Approach for Solving SAT by P Systems with Active Membranes* |
| Tartalom: | http://dtk.tankonyvtar.hu/xmlui/handle/123456789/5891 |
|---|---|
| Archívum: | Digitális Tankönyvtár |
| Gyűjtemény: |
Digitális Tankönyvtár
Informatika |
| Cím: |
A New Approach for Solving SAT by P Systems with Active Membranes*
|
| Létrehozó: |
Gazdag Zsolt
Kolonits Gábor
|
| Kiadó: |
Eötvös Loránd University Faculty of Informatics
|
| Dátum: |
2013
2019-08-08T11:54:03Z
2019-08-08T11:54:03Z
|
| Téma: |
Membrane computing
P systems
SAT problem
kielégíthetőségi probléma
SAT probléma
membrán
|
| Tartalmi leírás: |
*This research was supported by the project TÁMOP-4.2.1/B-09/1/KMR-2010-003 of Eötvös Loránd University
The Project is supported by the European Union and co-financed by the European Social Fund (grant agreement no. TÁMOP-4.2.2/B-10/1-2010-0030.).
|
| Nyelv: |
angol
|
| Típus: |
Tanulmány
|
| Formátum: |
application/pdf
application/pdf
|
| Azonosító: | |
| Forrás: |
Lecture Notes in Computer Science (vol. 7762.; 2013.)
ISSN 0302-9743
|
| Létrehozó: |
Eötvös Loránd University Faculty of Informatics
Springer Verlag Berlin Heidelberg
szerzők
|