@inproceedings{Biere-SAT-Challenge-2012-solvers,
  author    = {Armin Biere},
  title     = {{Lingeling} and Friends Entering the {SAT Challenge 2012}},
  booktitle = {Proc.~of {SAT Challenge 2012}: Solver and Benchmark Descriptions},
  editor    = {Adrian Balint and Anton Belov and Daniel Diepold and Simon Gerber and Matti J{\"a}rvisalo and Carsten Sinz},
  volume    = {B-2012-2},
  pages     = {33-34},
  publisher = {University of Helsinki},
  series    = {Department of Computer Science Series of Publications B},
  year      = 2012,
}