首页>
外国专利>
Explaining illegal combinations in combinatorial models
Explaining illegal combinations in combinatorial models
展开▼
机译:解释组合模型中的非法组合
展开▼
页面导航
摘要
著录项
相似文献
摘要
A method, system and product for explaining illegal combinations in combinatorial models. The method comprising obtaining a combinatorial model and an illegal combination that is excluded from the model by one or more restrictions, utilizing a Satisfiability solver on a satisfiability formula that encodes the legal test space and that assigns values to attributes as defined by the illegal combination, whereby the satisfiability solver provides an indication of unsatisfiability of the satisfiability formula and an UNSAT core comprising a subset of clauses defined by the satisfiability formula which are unsatisfiable; and identifying the one or more restrictions by mapping the clauses of the UNSAT core with clauses encoding the set of restrictions.
展开▼