一种基于合取范式的半张量积SAT求解方法及装置

摘要

一种基于合取范式的半张量积SAT求解方法，包括，解析合取范式子句；根据解析得到的合取范式子句，将每个子句Cx表示转换成对应的逻辑矩阵表示Mx，并将得到的Mx通过逻辑关系组合成一组矩阵表达式；根据半张量积SAT求解计算逻辑矩阵表示；根据得到每个Cx的可满足赋值，将每组可满足赋值取交集，得到一组满足所有独立子句C的可满足布尔赋值。本发明的基于合取范式的半张量积SAT求解方法及装置，既能降低计算时间，提高计算效率，又可以提高可满足解的紧致性。