%0 Conference Paper %1 conf/casc/KaufmannB20 %A Kaufmann, Daniela %A Biere, Armin %B CASC %D 2020 %E Boulier, François %E England, Matthew %E Sadykov, Timur M. %E Vorozhtsov, Evgenii V. %I Springer %K dblp %P 368-389 %T Nullstellensatz-Proofs for Multiplier Verification. %U http://dblp.uni-trier.de/db/conf/casc/casc2020.html#KaufmannB20 %V 12291 %@ 978-3-030-60026-6

@inproceedings{conf/casc/KaufmannB20, added-at = {2023-06-26T00:00:00.000+0200}, author = {Kaufmann, Daniela and Biere, Armin}, biburl = {https://www.bibsonomy.org/bibtex/26f6b4f2531dafddbaa24a852eda1ebfe/dblp}, booktitle = {CASC}, crossref = {conf/casc/2020}, editor = {Boulier, François and England, Matthew and Sadykov, Timur M. and Vorozhtsov, Evgenii V.}, ee = {https://doi.org/10.1007/978-3-030-60026-6_21}, interhash = {85bdf491a957376810871d1d564734a7}, intrahash = {6f6b4f2531dafddbaa24a852eda1ebfe}, isbn = {978-3-030-60026-6}, keywords = {dblp}, pages = {368-389}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T02:34:48.000+0200}, title = {Nullstellensatz-Proofs for Multiplier Verification.}, url = {http://dblp.uni-trier.de/db/conf/casc/casc2020.html#KaufmannB20}, volume = 12291, year = 2020 }