BibTex Format for Publications

@article { Sch2015,
  author = {H. Hoos and R. Kaminski and M. Lindauer and T. Schaub},
  title = {aspeed: Solver Scheduling via Answer Set Programming},
  journal = {Theory and Practice of Logic Programming},
  year = {2015},
  volume = {15},
  pages = {117-142}
}


Back