@misc{BiereJarvisaloLeBerreKuldeepMengel-SAT-Practitioner-Manifesto-2020,
  author       = {Biere, Armin and
                  Järvisalo, Matti and
                  Le Berre, Daniel and
                  Meel, Kuldeep S. and
                  Mengel, Stefan},
  title        = {The {SAT} Practitioner's Manifesto},
  month        = sep,
  year         = 2020,
  publisher    = {Zenodo},
  version      = {1.0},
  doi          = {10.5281/zenodo.4500928},
}