BibTex Format for Publications

@inproceedings { Hut2015,
  author = {S. Falkner and M. Lindauer and F. Hutter},
  title = {SpySMAC: Automated Configuration and Performance Analysis of SAT Solvers},
  booktitle = {Proceedings of the International Conference on Satisfiability Solving (SAT'15)},
  year = {2015},
  month = aug,
  pages = {1-8}
}


Back