resnik@grad1.cis.upenn.edu (Philip Resnik) (08/13/90)
Can someone please point me to a detailed description of one of the polynomial time algorithms for 2SAT? I know of two algorithms, one involving resolution (mentioned in G&J) and the other involving construction of a digraph corresponding to the expression (mentioned in S. Baase's algorithms textbook), but have not found a detailed discussion of either of them. Thanks, Philip resnik@grad1.cis.upenn.edu Computer and Information Science, Moore School of Engineering University of Pennsylvania, Philadelphia, PA 19104