Zsolt Gazdag. Solving SAT by P Systems with Active Membranes in Linear Time in the Number of Variables. In Artiom Alhazov, Svetlana Cojocaru, Marian Gheorghe, Yurii Rogozhin, Grzegorz Rozenberg, Arto Salomaa, editors, Membrane Computing - 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers. Volume 8340 of Lecture Notes in Computer Science, pages 189-205, Springer, 2013. [doi]
Abstract is missing.