Resolutionsalgorithmus