Gábor Kolonits. A Solution of Horn-SAT with P Systems Using Antimatter. In Grzegorz Rozenberg, Arto Salomaa, José M. Sempere, Claudio Zandron, editors, Membrane Computing - 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers. Volume 9504 of Lecture Notes in Computer Science, pages 236-250, Springer, 2015. [doi]
Abstract is missing.