On the complexity of the satisfiability problem. Courant Computer Science Report (1979)

by A Goldberg