The following pages link to Solving QSAT in sublinear depth (Q2328327):
Displaying 7 items.
- Deterministic solutions to QSAT and Q3SAT by spiking neural P systems with pre-computed resources (Q974099) (← links)
- Bounding the space in P systems with active membranes (Q1982967) (← links)
- Solving a PSPACE-complete problem with cP systems (Q1982985) (← links)
- A new method to simulate restricted variants of polarizationless P systems with active membranes (Q1983030) (← links)
- P systems with evolutional symport and membrane creation rules solving QSAT (Q2077404) (← links)
- Characterizing PSPACE with shallow non-confluent P systems (Q2299883) (← links)
- P systems attacking hard problems beyond NP: a survey (Q2299891) (← links)