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
|