首页>
外国专利>
Method and mechanism for using systematic local search for SAT solving
Method and mechanism for using systematic local search for SAT solving
展开▼
机译:利用系统局部搜索进行SAT求解的方法和机制
展开▼
页面导航
摘要
著录项
相似文献
摘要
An improved method and mechanism for designing and verifying an electrical circuit design is provided using an improved SAT-solver which uses complete assignments and systematic local search to provides improved performance. In one approach, the sat-solver maintains a complete assignment that is changed one variable at a time. A variable is fixed within the falsified set of clauses.
展开▼