Time-free solution to SAT problem using P systems with active membranes
| Autor: | Song, Tao, Macías-Ramos, Luis F., Pan, Linqiang, Pérez-Jiménez, Mario J. |
|---|---|
| Zdroj: | In Theoretical Computer Science 10 April 2014 529:61-68 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect