@InProceedings{Janota08,
  author =       {Mikol\'a\v{s} Janota},
  title =        {Do {SAT} Solvers Make Good Configurators?},
  booktitle =    {First Workshop on Analyses of Software Product Lines
                  ({ASPL'08})},
  year =         2008,
  month =        sep
}