BibTex Format for Publications
@article { Ley2017,
author = {F. Hutter and M. Lindauer and A. Balint and S. Bayless and H. Hoos and K. Leyton-Brown},
title = {The Configurable SAT Solver Challenge (CSSC)},
journal = {Artificial Intelligence Journal (AIJ)},
year = {2017},
month = feb,
volume = {243},
pages = {1-25}
}