Pages that link to "Item:Q5404852"
From MaRDI portal
The following pages link to Solving SAT by P Systems with Active Membranes in Linear Time in the Number of Variables (Q5404852):
Displaying 15 items.
- A uniform solution to SAT using membrane creation (Q870255) (← links)
- Solving the N-queens problem using dP systems with active membranes (Q1643128) (← links)
- Distributed computation of a \(k\) P systems with active membranes for SAT using clause completion (Q1982964) (← links)
- A new method to simulate restricted variants of polarizationless P systems with active membranes (Q1983030) (← links)
- On the power of P systems with active membranes using weak non-elementary membrane division (Q2152305) (← links)
- Solution to PSPACE-complete problem using P systems with active membranes with time-freeness (Q2298575) (← links)
- Time-free solution to SAT problem using P systems with active membranes (Q2440831) (← links)
- Solving HPP and SAT by P systems with active membranes and separation rules (Q2502273) (← links)
- Further remarks on \(P\) systems with active membranes, separation, merging, and release rules (Q2576613) (← links)
- Remarks on the Computational Power of Some Restricted Variants of P Systems with Active Membranes (Q2975915) (← links)
- Membrane Computing (Q5316647) (← links)
- Membrane Computing (Q5897729) (← links)
- Solving SAT with P systems with anti-membranes (Q6048241) (← links)
- From \texttt{SAT} to \texttt{SAT}-\texttt{UNSAT} using P systems with dissolution rules (Q6135713) (← links)
- Solving 3-SAT in distributed P systems with string objects (Q6162062) (← links)
