Resolution Problems