跨个别过程增强约束求解器的性能

摘要

本发明的一个实施例提供一种用于重用与针对问题域的约束求解运算关联的信息的系统。该系统通过从问题域接收约束问题来开始。然后，该系统在问题高速缓存中搜寻与规范表示对应的条目。如果对应条目在问题高速缓存中不存在，则该系统在问题高速缓存中产生用于规范表示的条目。否则，如果对应条目已经存在于问题高速缓存中，则该系统通过重用与问题高速缓存中的对应条目关联的求解器试探法来生成规范表示的解。

主权项

一种用于重用与针对问题域的约束求解运算关联的信息的方法，所述方法包括：从所述问题域接收用于约束问题的规范表示；在问题高速缓存中搜寻与所述规范表示对应的条目，其中所述问题高速缓存存储包括先前存储的规范表示和用于所述先前存储的规范表示的对应求解器试探法的条目；并且如果对应条目在所述问题高速缓存中不存在，则在所述问题高速缓存中产生用于所述规范表示的条目；否则，如果对应条目存在于所述问题高速缓存中，则通过重用与所述问题高速缓存中的所述对应条目关联的求解器试探法来生成所述规范表示的解，其涉及从所述对应条目中取回包括所述求解器试探法的元数据。