977 resultados para Cook-Levin SAT SAT-solver
Resumo:
Inscribed verso: Standing, l to r: Dave Whentley, Ronald Anderson, Jim Kokous, Gaston Sigur, John Hall, Mr. Kayano, Jiro Taguchi. Sitting l to r: Rolf Ward, Dave Plumer (sp?), Tashio Nok, Richard Beardsly, R.B. Hall, James Plumer, Carl Remes, Hidi Shohara, Joseph Yomaguchi