A Resolution-Based Decision Procedure for 𝒮ℋ𝒪ℐ𝒬