The missing clause method and its application to the satisfiability problem
Edward L. Bosworth · Proceedings of the 17th conference on ACM Annual Computer Science Conference · 1989
There is a decision problem from the discipline of Boolean logic which has assumed a significant position in the theoretical study of computer science. Indeed, it is the paradigm of an entire class of challenging problems, grouped together and given the name NP-Complete. This problem is usually referred to at the Boolean Satisfiability Problem or SAT for short. This paper presents an interesting method which shows some promise in the analysis of the Satisfiability Problem and attempts to characterize the instances of the problem to which the method can be applied in polynomial time. For a more detailed discussion of the theoretical importance of the Satisfiability Problem and its relation to the class called NP-Complete, the reader should consult references [1,2].