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}
}