On the Complexity of k-SAT 论文

2001Journal of Computer and System Sciences引用 1017
Complexity and Algorithms in GraphsConstraint Satisfaction and OptimizationAdvanced Graph Theory Research