Daniela Ritirc, Armin Biere, Manuel Kauers. A Practical Polynomial Calculus for Arithmetic Circuit Verification. In Anna Maria Bigatti, Martin Brain, editors, Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, SC-Square@FLOC 2018, Oxford, UK, July 11, 2018. Volume 2189 of CEUR Workshop Proceedings, pages 61, CEUR-WS.org, 2018. [doi]
@inproceedings{RitircBK18-0,
title = {A Practical Polynomial Calculus for Arithmetic Circuit Verification},
author = {Daniela Ritirc and Armin Biere and Manuel Kauers},
year = {2018},
url = {http://ceur-ws.org/Vol-2189/paper6.pdf},
researchr = {https://researchr.org/publication/RitircBK18-0},
cites = {0},
citedby = {0},
pages = {61},
booktitle = {Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, SC-Square@FLOC 2018, Oxford, UK, July 11, 2018},
editor = {Anna Maria Bigatti and Martin Brain},
volume = {2189},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}