BibTex Format for Publications
@inproceedings { Lin2016,
author = {N. Manthey and M. Lindauer},
title = {SpyBug: Automated Bug Detection in the Configuration Space of SAT Solvers},
booktitle = {Proceedings of the International Conference on Satisfiability Solving (SAT'16)},
year = {2016},
month = apr
}