A Solution of Horn-SAT with P Systems Using Antimatter
From MaRDI portal
Publication:2789137
DOI10.1007/978-3-319-28475-0_16zbMath1473.68083OpenAlexW2295887110MaRDI QIDQ2789137
Publication date: 26 February 2016
Published in: Membrane Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-28475-0_16
Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07) Computational aspects of satisfiability (68R07)
Related Items (2)
Remarks on the Computational Power of Some Restricted Variants of P Systems with Active Membranes ⋮ A new method to simulate restricted variants of polarizationless P systems with active membranes
This page was built for publication: A Solution of Horn-SAT with P Systems Using Antimatter
