首页>
外国专利>
SAT solver based on interpretation and truth table analysis
SAT solver based on interpretation and truth table analysis
展开▼
机译:基于解释和真理表分析的SAT求解器
展开▼
页面导航
摘要
著录项
相似文献
摘要
Techniques and systems for solving Boolean satisfiability (SAT) problems are described. Some embodiments solve SAT problems using efficient construction of truth tables. Some embodiments can improve performance of SAT solvers by using truth tables instead of incurring the overhead of Conjunctive Normal Form (CNF) conversion.
展开▼