Based on the theory of CNF carrying ODC condition, without ordering the variables in computing ODC conditions, the losses of ODC conditions are reduced.

• 以带可观无关条件的CNF理论为基础，通过在可观无关条件计算时不使用变量排序，减少可观无关条件丢失。