Solving SAT in linear time with a neural-like membrane system

We present in this paper a neural-like membrane system solving the SAT problem in linear time. These neural Psystems are nets of cells working with multisets. Each cell has a finite state memory, processes multisets of symbol-impulses, and can send impulses (?excitations?) to the neighboring cells. The maximal mode of rules application and the replicative mode of communication between cells are at the core of the eficiency of these systems.

Explicit summa Angelica de casib[us] [con]sci[enti]e / p[er] fratre[m] Angelu[m] d[e] clauasio co[m]pilata ; maxima cu[m] dilige[n]tia reuisa, [et] fideli studio emendata ; sicut ip[sum] op[us] p[er] se sat[is] attestabit[ur].

Huecos para iniciales

Kitāb Tuḥfat ahl al-futūḥāt wa-al-adhwāq fī ittikhādh al-subḥah wa-jaʻlihā fī al-aʻnāq wa-baʻḍ al-ādāb al-lāʼiqah bi-al-mukarramīn bi-ṣuḥbat ahl ḥaḍrat al-iṭlāq bi-faḍl al-karīm al-khallāq

lil-Shaykh Fatḥ Allāh ibn al-Shaykh Sayyidī Abī Bakr al-Bannānī.

Hādhā al-kitāb al-musammá bi-Dilgushā-yi ṣirāṭ mustaqīm li-man kāna fī al-ṭarīq al-qawīm min tahdhīb al-akhlāq wa-tadbīr al-manzil wa-siyāsat al-mudun sharʻan wa-ʻaqlan

[taʼlīf Aḥmad Ḥusaynʹzādah].

Futūḥāt-i Niẓāmīyah

[Muḥammad Rafīʻ ibn ʻAlī Aṣghar al-Ṭabāṭabāʾī].

al- Rawḍ al-hatūn fī akhbār Maknāsat al-Zaytūn

li-Abī ʻAbd Allāh Muḥammad ibn Aḥmad ibn Muḥammad ibn ʻAlī ibn Ghāzī.

Kitāb al-Uns wa-al-īnās fī futūḥ Ifrīqīyah ilá madīnat Fās : manuscript, 1795

الحمد لله مانح النعم فضلا من عنده المحسن بما يقوم به احدا بحقه وان بالغ غاية جهده... :Incipit

Kitāb Mufarriḥ al-nafs / taṣnīf al-Imām al-ʻālim al-fāḍil Sharaf al-Dīn Abī Naṣr Muḥammad ibn ʻUmar ibn Abī al-Futūḥ al-Baghdādī thumma al-Māridīnī al-maʻrūf bi-Ibn al-Marah : manuscript, [ca. 1530]

The author's name appears as ابن المره in title page (f. 1r) and ابن المراه at the beginning of the book (f. 1v).

Kitāb al-Futūḥāt al-Kawwāzīyah fī al-siyāḥah ilá al-arāḍī al-Ḥijāzīyah

taʼlīf ʻAbd Allāh Afandī Bāsh Aʻyānʹzādah.

Sat:veṇī [niñḍhī] : manuscript, 1890?

Foreign wove paper; watermark: made in Belgium for Nuzzurally Heptoolabhoy, Bombay.

Dvadt͡satʹ shestʹ moskovskikh lzheprorokov, lzhe-i͡urodivykh, dur i durakov.

Mode of access: Internet.

The Wu Shih Shan trial. Rpeort of the case of chow Chang Kung, Lin King Ching, Loo King Fah, Sat Keok Min, directors of the Taou Shan Kwan Temple, at Wu Shih Shan, Foochow, versus Rev. John R. Wolfe, of the Church of England Missionary Society ...

Mode of access: Internet.

Kitāb wāsiṭat al-sulūk fī siyāsat al-mulūk /

Caption title.