Efficient solutions to hard computational problems by P systems with symport/antiport rules and membrane division | Publicación