Searching Porwerset Automata by Combining Explicit-State and Symbolic Model Checking