Logic MAX-3SAT：最佳数据结构

我正在用C实现一个MAX-3SAT解算器。显然，有很多关于合取范式中布尔公式的文献。我计划以以下格式存储它们：

int **formulae;

这是一个变量ID数组，其中变量为负数表示否定（与标准DIMACS CNF格式相同）

我的问题是：3SAT是否有我应该知道的“聪明”数据结构？也许是结构提高了求解算法的性能？

Mate Soos的发明者写了一篇文章，应该是相关的阅读。在开始自己的设计之前，研究领先的SAT解算器的来源可能是有启发性的。的发明者Mate Soos写了一篇文章，应该是相关的阅读。在开始自己的设计之前，研究领先的SAT解决方案的来源可能是有启发性的。