A fast and efficient parallel algorithm for finding a satisfying truth assignment to a 2-CNF formula

Authors:
Zhi-Zhong Chen
Affiliations:
-
Venue:
Information Processing Letters
Year:
1992

Citing 0
Cited 1

On Identifying Simple and Quantified Lattice Points in the 2SAT Polytope

AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation

Quantified Score

Hi-index	0.89

Visualization

Abstract