MIT / Massachusetts Institute of Technology / Five Cambridge Center / /
Person
Joseph Halpern / Gil Neiger David Peleg Andrew / Stephen Brookes Jin-Yi / Maurice Herlihy Ted Herman Stephen / Sam Toueg Moshe Vardi Jennifer / Eric Allender / Eva Tardos Sam Toueg Moshe / Herman Stephen Homer Neil / Pankaj Agarwal Eric Allender Tetsuo / Francis Zane / James Royer Alan Selman Nir / Georg Gottlob Vassos Hadzilacos Juris / Eric Allender Tetsuo Asano Laszl / Andrew Pitts James Royer Alan / Moshe Vardi Jennifer Welch Pierre / Jin-Yi Cai Anne Condon Cynthia Dwork David / David Peleg Andrew Pitts James / Lance Fortnow Steven Fortune Greg / Steven Fortune Greg Frederickson Andrew Goldberg Georg / Eric Bach Stephen Brookes / Pierre Wolper Satisfiability Coding Lemma / John Mitchell Ketan Mulmuley Gil Neiger David / Ted Herman Stephen Homer / Jennifer Welch Pierre Wolper Satisfiability / Andrew Goldberg Georg Gottlob Vassos / Juris Hartmanis Maurice Herlihy Ted / Pavel Pudl´ak Francis / Alan Selman Nir Shavit Eva / David Eppstein Ronald Fagin Lance / Martin Abadi Pankaj Agarwal Eric / Cynthia Dwork David Eppstein Ronald / Ronald Fagin Lance Fortnow Steven / Stephen Mahaney Michael Merritt / Howard Karloff Philip Klein Phokion / / /
Position
Subsidiary Rights Manager / Editor-in-Chief / Managing Editor / /
ProgrammingLanguage
R / /
ProvinceOrState
Massachusetts / /
PublishedMedium
The Chicago Journal / Theoretical Computer Science / /
Technology
following decoding algorithm / randomized algorithm / encoding algorithm / two improved algorithms / improved algorithm / decoding algorithm / known deterministic algorithms / deterministic algorithm / though subsequent algorithms / second algorithm / /
Chicago Journal of Theoretical Computer Science The MIT Press Volume 1999, Article 11 Satisfiability Coding Lemma ISSN 1073–0486. MIT Press Journals, Five Cambridge Center, Cambridge,