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

Question

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

int **formulae;

这是一个变量 ID 数组的数组，其中变量为负表示否定（就像在标准 DIMACS CNF 格式中一样）。

这是我的问题：我应该了解 3SAT 的任何“聪明”数据结构吗？也许可以提高求解算法性能的结构？