1. Alhazov, A.: Solving SAT by Symport/Antiport P Systems with Membrane Division. In: ESF PESC Exploratory Workshop, Sevilla, pp. 1–6 (2005)
2. Alhazov, A.: Minimal Parallelism and Number of Membrane Polarizations. Computer Science Journal of Moldova 18, 149–170 (2010)
3. Lecture Notes in Computer Science;A. Alhazov,2005
4. Alhazov, A., Ishdorj, T.-O.: Membrane Operations in P Systems with Active Membranes. RGNC report 01/2004, Second BWMC, Sevilla, 37–44 (2004)
5. Brueggeman, T., Kern, W.: An improved deterministic local search algorithm for 3-SAT. Theoretical Computer Science 329, 303–313 (2004)