Pages that link to "Item:Q870255"
From MaRDI portal
The following pages link to A uniform solution to SAT using membrane creation (Q870255):
Displayed 13 items.
- Accelerated execution of P systems with active membranes to solve the \(N\)-queens problem (Q403007) (← links)
- Computational efficiency and universality of timed P systems with membrane creation (Q521731) (← links)
- Tissue P systems with cell separation: attacking the partition problem (Q543208) (← links)
- Denotational semantics of membrane systems by using complete metric spaces (Q1682859) (← links)
- Distributed computation of a \(k\) P systems with active membranes for SAT using clause completion (Q1982964) (← links)
- Time-free solution to SAT problem by tissue P systems (Q1992361) (← links)
- Cell-like P systems with evolutional symport/antiport rules and membrane creation (Q2216105) (← links)
- Subroutines in P systems and closure properties of their complexity classes (Q2285669) (← links)
- LOGIC AND ARITHMETIC OPERATIONS WITH A CONSTANT NUMBER OF STEPS IN MEMBRANE COMPUTING (Q2997920) (← links)
- The computational power of timed P systems with active membranes using promoters (Q4629265) (← links)
- Solving SAT with P systems with anti-membranes (Q6048241) (← links)
- On the efficiency of synchronized P systems (Q6135703) (← links)
- Solving 3-SAT in distributed P systems with string objects (Q6162062) (← links)