@InProceedings{   Heule2019ProceedingsOS,
  Author        = {Heule, Marijn J. H. and J{\"a}rvisalo, Matti},
  date-added    = "2020-03-09 07:45:08 +0100",
  date-modified = "2020-03-09 07:45:08 +0100",
  Title         = "Proceedings of SAT RACE 2019 Solver and Benchmark Descriptions",
  Year          = "2019",
  File          = "Proceedings of SAT RACE 2019 Solver and Benchmark Descriptions - e64045e3715f243f3d4cff50fcbc3c1f1d0f - a - a - a - j.pdf"
}

@InProceedings{ Heule2019ProceedingsOS, Author = {Heule, Marijn J. H. and J{\"a}rvisalo, Matti}, date-added = "2020-03-09 07:45:08 +0100", date-modified = "2020-03-09 07:45:08 +0100", Title = "Proceedings of SAT RACE 2019 Solver and Benchmark Descriptions", Year = "2019", File = "Proceedings of SAT RACE 2019 Solver and Benchmark Descriptions - e64045e3715f243f3d4cff50fcbc3c1f1d0f - a - a - a - j.pdf" }