Efficient Symbolic Planning with Views