- More details for "boolean satisfiability problem":
- Find Email
- Hidden Profiles
- Address History
- male
- Stephen Arthur Cook (born 1939, Buffalo, New York) is a noted computer scientist. Cook formalised the notion of NP-completeness in a famous 1971...
- male, 63 years old (Northridge, California, United States)
- Leonard Max Adleman (born December 31, 1945) is a theoretical computer scientist and professor of computer science and molecular biology at the...
| |