%0 Conference Paper %1 conf/scsquare/DavenportTU21 %A Davenport, James H. %A Tonks, Zak %A Uncu, Ali Kemal %B SC-Square@SIAM AG %D 2021 %E Bright, Curtis %E Davenport, James H. %I CEUR-WS.org %K dblp %P 41-49 %T Practical Evaluation of Quantifier Elimination Methods (short paper). %U http://dblp.uni-trier.de/db/conf/scsquare/scsquare2021.html#DavenportTU21 %V 3273

@inproceedings{conf/scsquare/DavenportTU21, added-at = {2023-08-17T00:00:00.000+0200}, author = {Davenport, James H. and Tonks, Zak and Uncu, Ali Kemal}, biburl = {https://www.bibsonomy.org/bibtex/2661a4a22dd2d9da0c14555540e38f563/dblp}, booktitle = {SC-Square@SIAM AG}, crossref = {conf/scsquare/2021}, editor = {Bright, Curtis and Davenport, James H.}, ee = {http://ceur-ws.org/Vol-3273/paper4.pdf}, interhash = {84198b1dada741f37fa6e113dd80cdd4}, intrahash = {661a4a22dd2d9da0c14555540e38f563}, keywords = {dblp}, pages = {41-49}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T10:20:23.000+0200}, title = {Practical Evaluation of Quantifier Elimination Methods (short paper).}, url = {http://dblp.uni-trier.de/db/conf/scsquare/scsquare2021.html#DavenportTU21}, volume = 3273, year = 2021 }