Use ThreadPool in Problem Resolver to speed up resolutions

Fixes #417