BibTex Format for Publications

@article { Ley2017,
  author = {F. Hutter and M. Lindauer and A. Balint and S. Bayless and H. Hoos and K. Leyton-Brown},
  title = {The Configurable SAT Solver Challenge (CSSC)},
  journal = {Artificial Intelligence Journal (AIJ)},
  year = {2017},
  month = feb,
  volume = {243},
  pages = {1-25}
}


Back