Re-encoding sequential circuits to reduce power dissipation | Publicación