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

Figure 3

The computing process during the generation phase.