author :  Cook

1 publication
page_white_acrobat The complexity of theorem-proving procedures (STOC 1971) — Stephen A. Cook