Research Article

Solving the SAT Problem by Cell-Like P Systems with Channel States and Symport Rules

Figure 8

The halting configuration.