scientific article; zbMATH DE number 1958491
From MaRDI portal
Publication:4416448
zbMATH Open1023.68056MaRDI QIDQ4416448
Publication date: 3 August 2003
Title of this publication is not available (Why is that?)
Related Items (5)
Solving SAT with P systems with anti-membranes ⋮ Time-free solution to SAT problem using P systems with active membranes ⋮ Solving SAT by P Systems with Active Membranes in Linear Time in the Number of Variables ⋮ A Solution of Horn-SAT with P Systems Using Antimatter ⋮ Formal Methods in Computer-Aided Design
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4416448)
