@InProceedings{   DBLP:conf/ecai/GentW94,
  Author        = "Gent, Ian P. and Walsh, Toby",
  bibsource     = "dblp computer science bibliography, http://dblp.org",
  biburl        = "http://dblp.org/rec/bib/conf/ecai/GentW94",
  BookTitle     = "{ECAI}",
  date-added    = "2018-02-27 07:10:50 +0000",
  date-modified = "2018-02-27 07:10:50 +0000",
  Pages         = "105--109",
  timestamp     = "Thu, 03 Jan 2002 11:56:54 +0100",
  Title         = "The {SAT} Phase Transition",
  Year          = "1994",
  File          = "gent94sat (0) - a - a - i.pdf",
  file-2        = "ECAI94 (0) - a - a - i.pdf"
}

@InProceedings{ DBLP:conf/ecai/GentW94, Author = "Gent, Ian P. and Walsh, Toby", bibsource = "dblp computer science bibliography, http://dblp.org", biburl = "http://dblp.org/rec/bib/conf/ecai/GentW94", BookTitle = "{ECAI}", date-added = "2018-02-27 07:10:50 +0000", date-modified = "2018-02-27 07:10:50 +0000", Pages = "105--109", timestamp = "Thu, 03 Jan 2002 11:56:54 +0100", Title = "The {SAT} Phase Transition", Year = "1994", File = "gent94sat (0) - a - a - i.pdf", file-2 = "ECAI94 (0) - a - a - i.pdf" }