L
[LV99] Richard J. Lipton et Anastasios Viglas. On the Complexity of SAT. In FOCS'99, pages 459-464. IEEE Comp. Soc. Press, novembre 1999. 
@inproceedings{focs1999-LV,
  author =              {Lipton, Richard J. and Viglas, Anastasios},
  title =               {On the Complexity of {SAT}},
  booktitle =           {{P}roceedings of the 40th {A}nnual {S}ymposium on
                         {F}oundations of {C}omputer {S}cience ({FOCS}'99)},
  acronym =             {{FOCS}'99},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {459-464},
  year =                {1999},
  month =               nov,
}
Liste des auteurs