A Uniform Algorithm of Solving All-SAT Using Membrane Systems