Sciweavers

FOCS
1997
IEEE

Satisfiability Coding Lemma

14 years 3 months ago
Satisfiability Coding Lemma
Ramamohan Paturi, Pavel Pudlák, Francis Zan
Added 25 Aug 2010
Updated 25 Aug 2010
Type Conference
Year 1997
Where FOCS
Authors Ramamohan Paturi, Pavel Pudlák, Francis Zane
Comments (0)