Examples for the Davis-Putnam Procedure", unpublished manuscript, referenced in [Cook 1971a (1971)

by S A Cook
Venue:ACM SIGACT News