@inproceedings{KaufmannBiereKauers-Vampire19,
  author    = {Daniela Kaufmann and
               Armin Biere and
               Manuel Kauers},
  editor    = {Laura Kov{\'a}cs and Andrei Voronkov},
  title     = {{SAT}, Computer Algebra, Multipliers},
  booktitle = {Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops},
  series    = {EPiC Series in Computing},
  volume    = {71},
  pages     = {1--18},
  year      = {2020},
  publisher = {EasyChair}
}