Independence Way Princeton / Boston / Princeton / /
Company
Cobham / FORTNOW NEC Laboratories America / /
Country
United States / Soviet Union / /
Currency
USD / / /
Facility
University of Aarhus / Moscow State University / Clay Mathematics Institute / Computational Complexity Lance Fortnow1 NEC Research Institute / Steve Homer2 Computer Science Department Boston University / /
IndustryTerm
propositional proof systems / possible solution / conference web page http /
Organization
Moscow State University / University of Aarhus / Harvard / Clay Mathematics Institute / Boston University / Computational Complexity Lance Fortnow1 NEC Research Institute / /
Person
Rabin / Steve Homer / Richard Karp / John Dawson / Aki Kanamori / Leonid Levin / Dirk van Dalen / Stephen Cook / /
Position
model / theoretical computational model / tape head / theoretical model for computation / salesman / /
ProvinceOrState
New Jersey / New Foundland and Labrador / Massachusetts / /
Technology
polynomial-time algorithm / usually using approximation algorithms / deterministic algorithm / /