@inproceedings{SOT2014,
               author = {S. Burg, O. Bringmann, T. Kropf},
               title = {provoSATeur+glucose},
               booktitle = {Proceedings of SAT Competition 2014: Solver and Benchmark Descriptions},
               publisher = {Department of Computer Science Series of Publications},
               year = {2014},
               volume = {B-2014-2},
               organization = {University of Helsinki}
}