Factoring resolvers