Efficient Solution of Language Equations using Partitioned Representations