首页>
外国专利>
Constraint satisfaction problem solving using constraint semantics
Constraint satisfaction problem solving using constraint semantics
展开▼
机译:使用约束语义解决约束满足问题
展开▼
页面导航
摘要
著录项
相似文献
摘要
A computer-implemented method, apparatus and product for solving a Constraint Satisfaction Problem (CSP). The computer-implemented method, performed by a computerized device, comprising: obtaining the CSP comprising a set of variables, a set of corresponding domains, and a set of constraints; and solving the CSP by iteratively: limiting the domains to exclude values that cannot satisfy one or more constraints of the set of constraints; heuristically selecting a variable out of the set of variables, wherein said heuristically selecting is based on constraint semantics of a constraint of the set of constraints; and limiting a corresponding domain of the selected variable.
展开▼