Symbolic approaches for finding control strategies in Boolean networks