The present application is a method and system of interpreting an image by finding a configuration of multiple variables which optimizes an objective function with a factorizable upper bound, by applying an iterative algorithm that relies on efficient dynamic ordering of candidate configurations, in a priority queue, in a descending order of an upper bound score. As an example, consider a constellation model for an object. It specifies the appearance models for individual parts of objects, as well as spatial relations among these parts. These are combined into a single function whose value represents the likeness of the object in an image. To find the configuration in which the object is present in the image, we maximize this function over all candidate configurations. The purpose of the iterative algorithm mentioned above is to find such optimal configurations efficiently.