@Misc{            Schumacher:2007aa,
  Author        = "Schumacher, Andr{\'e}",
  date-added    = "2018-03-04 11:25:54 +0000",
  date-modified = "2018-03-04 11:26:23 +0000",
  Title         = "Generating Hard but Solvable SAT Formulas",
  Year          = "2007",
  File          = "paper\_andre (0) - a - a - g.pdf"
}

@Misc{ Schumacher:2007aa, Author = "Schumacher, Andr{\'e}", date-added = "2018-03-04 11:25:54 +0000", date-modified = "2018-03-04 11:26:23 +0000", Title = "Generating Hard but Solvable SAT Formulas", Year = "2007", File = "paper_andre (0) - a - a - g.pdf" }