%0 Conference Paper %1 conf/synasc/DavenportTU23 %A Davenport, James H. %A Tonks, Zak P. %A Uncu, Ali Kemal %B SYNASC %D 2023 %I IEEE %K dblp %P 44-51 %T A Poly-algorithmic Approach to Quantifier Elimination. %U http://dblp.uni-trier.de/db/conf/synasc/synasc2023.html#DavenportTU23 %@ 979-8-3503-9412-2

@inproceedings{conf/synasc/DavenportTU23, added-at = {2024-05-18T00:00:00.000+0200}, author = {Davenport, James H. and Tonks, Zak P. and Uncu, Ali Kemal}, biburl = {https://www.bibsonomy.org/bibtex/2a60a2b4ff1cb25014224b7045e2e1a02/dblp}, booktitle = {SYNASC}, crossref = {conf/synasc/2023}, ee = {https://doi.org/10.1109/SYNASC61333.2023.00013}, interhash = {cd79d57cbf0c58405d787a2094fe4910}, intrahash = {a60a2b4ff1cb25014224b7045e2e1a02}, isbn = {979-8-3503-9412-2}, keywords = {dblp}, pages = {44-51}, publisher = {IEEE}, timestamp = {2024-05-20T07:18:05.000+0200}, title = {A Poly-algorithmic Approach to Quantifier Elimination.}, url = {http://dblp.uni-trier.de/db/conf/synasc/synasc2023.html#DavenportTU23}, year = 2023 }