Problem-solving Methods for Eecient Reasoning under Uncertainty