@inproceedings{SMS2012,
               author = {S.Burg, M. Kaufmann, S. Kottler},
               title = {Creating Industrial-Like SAT Instances by clustering and reconstruction (Poster Presentation)},
               booktitle = {15th International Conference on Theory and Applications of Satisfiability Testing},
               year = {2012},
}