简介： 一种用于存储器修复的方法、系统及计算机编程产品。从对存储器的存储器区块进行的至少一个存储器测试提取存储器区块中的将被修复的至少一个失效位的位置。获得存储器中的用于对存储器区块进行修复的可用修复资源。判断包含多个约束在内的约束满足问题是否可解决。所述约束对应于存储器区块中的所述至少一个失效位的位置以及可用修复资源。响应于判断出约束满足问题不可解决，将存储器区块标记为不可修复或拒绝存储器。响应于判断出约束满足问题可解决且具有满足所述约束的解决方案，根据约束满足问题的解决方案而使用可用修复资源来对所述至少一个失效位进行修复。