Daniela Ritirc, Armin Biere, Manuel Kauers. SAT, Computer Algebra, Multipliers. In Laura Kovács, Andrei Voronkov, editors, Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops. Volume 71 of EPiC Series in Computing, pages 1-18, EasyChair, 2019. [doi]
@inproceedings{RitircBK19,
title = {SAT, Computer Algebra, Multipliers},
author = {Daniela Ritirc and Armin Biere and Manuel Kauers},
year = {2019},
url = {https://easychair.org/publications/paper/bpc4},
researchr = {https://researchr.org/publication/RitircBK19},
cites = {0},
citedby = {0},
pages = {1-18},
booktitle = {Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops},
editor = {Laura Kovács and Andrei Voronkov},
volume = {71},
series = {EPiC Series in Computing},
publisher = {EasyChair},
}