首页>
外国专利>
ADAPTIVE APPLICATION OF SAT SOLVING TECHNIQUES
ADAPTIVE APPLICATION OF SAT SOLVING TECHNIQUES
展开▼
机译:SAT解决技术的自适应应用
展开▼
页面导航
摘要
著录项
相似文献
摘要
A computer-implemented method for solving a satisfiability (SAT) problem includes defining a formula, including variables, which refers to properties of a target system. Using a chosen search strategy, a search process is performed over possible value assignments of the variables for a satisfying assignment that satisfies the formula. A performance metric estimating an effectiveness of the search process is periodically evaluated during the search process. The strategy of the search process is modified responsively to the evaluated performance metric. The method determines, using the search process, whether the formula is satisfiable on the target system.
展开▼