首页>
外国专利>
Method, apparatus and product for SAT solving using templates clauses
Method, apparatus and product for SAT solving using templates clauses
展开▼
机译:利用模板子句进行SAT求解的方法,装置和产品
展开▼
页面导航
摘要
著录项
相似文献
摘要
A method to solve a template SAT problem associated with a bounded model that is modeled checked, said method comprising: receiving the template SAT problem, the template SAT problem comprising a plurality of clauses including a template clause that represents a plurality of concrete clauses each associated with a different temporal shift, the template clause is associated with a literal; determining a value of the literal in a cycle based on the template clause and a temporal shift, said determining comprises: determining a concrete clause of the plurality of concrete clauses based on the template clause and the temporal shift; determining a new template clause based on at least two clauses; determining a deduced clause based on at least the value of the literal in the cycle; deducing a solution to the template SAT problem; and outputting the solution.
展开▼