BibTex Format for Publications

@inproceedings { Sch2012,
  author = {B. Kaufmann and T. Schaub and M. Schneider},
  title = {clasp, claspfolio, aspeed: Three Solvers from the AnswerSet Solving Collection {P}otassco},
  booktitle = {Proceedings of {SAT} Challenge 2012: Solver and BenchmarkDescriptions},
  year = {2012},
  note = {Series:Department of Computer Science Series of Publications B},
  pages = {17-19}
}


Back