DBLP Record 'conf/fct/Coja-OghlanGLS03'

BibTeX

@inproceedings{DBLP:conf/fct/Coja-OghlanGLS03,
  author    = {Amin Coja-Oghlan and
               Andreas Goerdt and
               Andr{\'e} Lanka and
               Frank Sch{\"a}dlich},
  title     = {Certifying Unsatisfiability of Random 2{\it }-SAT Formulas
               Using Approximation Techniques},
  booktitle = {FCT},
  year      = {2003},
  pages     = {15-26},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2751{\&}spage=15},
  crossref  = {DBLP:conf/fct/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/fct/2003,
  editor    = {Andrzej Lingas and
               Bengt J. Nilsson},
  title     = {Fundamentals of Computation Theory, 14th International Symposium,
               FCT 2003, Malm{\"o}, Sweden, August 12-15, 2003, Proceedings},
  booktitle = {FCT},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2751},
  year      = {2003},
  isbn      = {3-540-40543-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}