@dblp

The missing clause method and its application to the satisfiability problem.

. ACM Conference on Computer Science, page 462. ACM, (1989)

Links and resources

Tags